Skip to content

Conversation

tpryan
Copy link
Member

@tpryan tpryan commented Aug 11, 2025

Fixes: #109

@tpryan tpryan requested a review from sfkrieger August 11, 2025 22:16
@tpryan tpryan merged commit f563df6 into main Aug 11, 2025
4 checks passed
@tpryan tpryan deleted the doc-header-fix branch August 11, 2025 23:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Assign unique heading identifiers for numbered headings
2 participants