Eric Huss 1e04de75e1 Merge pull request #3084 from tonywu6/master ... Fix: Remove `?highlight=` from URL when highlights are dismissed via clicking		2026-05-13 14:15:33 +00:00
..
gui	Merge pull request #3084 from tonywu6/master	2026-05-13 14:15:33 +00:00
testsuite	Improve error message for invalid Font Awesome icons	2026-02-24 08:58:05 -05:00