Skip to content

Distinguish mutiple HTML5 footnote section ids#8770

Merged
jgm merged 1 commit intojgm:mainfrom ag-eitilt:numbered-footnote-section-idsFeb 13, 2024

Commits

Commits on Feb 13, 2024