Jump to correct heading via id, other tweaks, bugfixes#2307
Merged
gsantner merged 39 commits intogsantner:masterfrom harshad1:jump_to_correct_headingJul 16, 2024
+908-794
Commits
Commits on May 25, 2024
- committed
- committed
Commits on May 26, 2024
- committed
- committed
- committed
- committed
Commits on May 30, 2024
Commits on Jun 1, 2024
Commits on Jun 3, 2024
Commits on Jun 4, 2024
Commits on Jun 5, 2024
Commits on Jun 7, 2024
Commits on Jun 8, 2024
- committed
Commits on Jun 14, 2024
- committed
Commits on Jun 16, 2024
Commits on Jun 19, 2024
Commits on Jun 24, 2024
Commits on Jun 25, 2024
- committed
Commits on Jun 30, 2024
- committed
Commits on Jul 2, 2024
- committed
- committed
- committed
Commits on Jul 3, 2024
- committed
- committed
- committed
Commits on Jul 4, 2024
- committed
Commits on Jul 5, 2024
Commits on Jul 6, 2024
- committed
- committed
Commits on Jul 7, 2024
- committed
Commits on Jul 13, 2024
- committed
- committed
