Skip to content

Conversation

@davep
Copy link
Owner

@davep davep commented Sep 9, 2025

Fixes #132

Maybe.

Fixes #132

Maybe.

Co-authored-by: TomJGooding <[email protected]>
@davep davep self-assigned this Sep 9, 2025
@davep davep added Bug Something isn't working Priority: Medium Soon... labels Sep 9, 2025
@davep davep marked this pull request as ready for review September 9, 2025 15:41
@davep davep merged commit 0ef361c into main Sep 9, 2025
5 checks passed
@davep davep deleted the toc-mismatch branch September 9, 2025 15:48
@TomJGooding
Copy link
Contributor

@davep Thanks for adding me as co-author, I don't feel my small contribution deserved that!

@davep
Copy link
Owner Author

davep commented Sep 9, 2025

I don't feel my small contribution deserved that!

Your MRE was way more lines of code and work than my quick fix based on what you found.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Bug Something isn't working Priority: Medium Soon...

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Crash when jumping to content via sidebar

3 participants