Repository navigation
Give each reference to a repeated footnote its own id - #777
Open
SwastikTripathi wants to merge 2 commits into
Open
SwastikTripathi wants to merge 2 commits into
SwastikTripathi wants to merge 2 commits into
Commits
Commits on Nov 14, 2026