Skip to content

Fix sub results for headings containing non-ascii text#457

Merged
bglw merged 1 commit intomainfrom fix/non-ascii-sub-resultsSep 27, 2023