Fix a fatal error preventing documentation generation in some cases#302
Merged
kernc merged 2 commits intopdoc3:masterfrom Jun 22, 2024
Merged
Fix a fatal error preventing documentation generation in some cases#302kernc merged 2 commits intopdoc3:masterfrom
kernc merged 2 commits intopdoc3:masterfrom
Commits
Commits on Jun 22, 2024
- committed