Closed ronaldtse closed 2 years ago
From https://github.com/metanorma/metanorma-ieee/issues/55
Done in 46d7df228cf1df8e1b764708be01dd930c8752fb
From https://github.com/metanorma/metanorma-ieee/issues/55