Skip to content

prefix for indirect footnotes#2193

Merged
mariusheine merged 3 commits intomainfrom
prefix-for-special-object-footnotes
Feb 25, 2026
Merged

prefix for indirect footnotes#2193
mariusheine merged 3 commits intomainfrom
prefix-for-special-object-footnotes

Commits

Commits on Feb 22, 2026

Commits on Feb 23, 2026