Skip to content

Update footnote references in MANUAL.txt#11632

Closed
jidanni wants to merge 1 commit into
jgm:mainfrom
jidanni:patch-3
Closed

Update footnote references in MANUAL.txt#11632
jidanni wants to merge 1 commit into
jgm:mainfrom
jidanni:patch-3

Commits

Commits on May 8, 2026