馃悰 FIX: sorting of mixed manual/auto-numbered footnotes - #1178
Open
Sanjays2402 wants to merge 1 commit into
Open
馃悰 FIX: sorting of mixed manual/auto-numbered footnotes#1178Sanjays2402 wants to merge 1 commit into
Sanjays2402 wants to merge 1 commit into