Closed jensmaurer closed 9 months ago
This is on me.
This isn't visible on my locally-generated PDF. Did something go wrong in the DIS submission?
Yes, I changed the formatting and numbering to the ISO format "NOTE", "NOTE 1", "NOTE 2", etc. The numbering requires some trickery because "notes shall be numbered only if there is more than one" :-S This must have gone wrong somehow.
Ok, can we merge this to the main branch, too?
I'd rather not. The ISO format is strictly inferior since it loses the end marker.
I found the problem. It's rather silly. It's a 1 10 2 3 4 kind of situation.
@tkoeppe, I think this is now fixed, right?
Yes, thanks!
In 6.8.2 all notes are labelled erroneously as NOTE1. Please correct.