Closed AIS-RyoMukai closed 1 day ago
@ReesePlews @AAS-YknKawakita This issue is for testing, so there is no need to merge it. I will close it after testing.
Metanorma PR checklist