Skip to content

chore(refactor): loop over possible footnotes once#8876

Merged
mejo- merged 1 commit into
mainfrom
fix/footnote_followup_alternative
Jul 14, 2026
Merged

chore(refactor): loop over possible footnotes once#8876
mejo- merged 1 commit into
mainfrom
fix/footnote_followup_alternative

Commits

Commits on Jul 14, 2026