Skip to content

Fix Texinfo source fallback#4577

Merged
LiliDeng merged 1 commit into
mainfrom
users/vyadav/fix-texinfo-fallback
Jul 7, 2026
Merged

Fix Texinfo source fallback#4577
LiliDeng merged 1 commit into
mainfrom
users/vyadav/fix-texinfo-fallback

Fix Texinfo source fallback

7f5a8aa
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded Jul 6, 2026 in 3s

No new alerts in code changed by this pull request