Closed anermina closed 4 years ago
Huh, interesting. Thanks @anermina for discovering this. I wonder if it should be considered as a bug, what do you think?
Huh, interesting. Thanks @anermina for discovering this. I wonder if it should be considered as a bug, what do you think?
@manuel489 you're right, it might be. I opened a ticket #75 for consultation.
Moved issue to metanorma-ogc. Pending outcome of metanorma/metanorma-ogc#122 , once it's fixed we can close this PR without merging.
@anermina I believe this bug is fixed and therefore this PR is no longer necessary. Can you help confirm?
Confirmed not necessary. Closing.
Added some spaces in Table 3 in order to enable generating the last column with code in monospace.