Closed zwim closed 8 months ago
cr3gui/data/hyph/German.pattern:36780: parser error : Comment not terminated
<!--
See: http://projekte.dante.de/Trennmuster/WebHome
^
cr3gui/data/hyph/German.pattern:36780: parser error : Start tag expected, '<' not found
^
Happy new year and merry Christmas (a bit early ;-)!
Sorry, forgot about this PR. Given the initial christmas enthusiasm and broken XML, I thought it would better wait for the new year sobriety :) Dunno if it's safe to bring it with the crengine fix bump for the coming up stable :/
The changes are very minor. Whatever would be better or worse are probably just some edge cases.
So, merging & bumping ?
Let's do it. You can blame me if someone complains Rindfleischetikettierungsüberwachungsaufgabenübertragungsgesetz
is suddenly no longer correctly hyphenated. ;-D
Well, I was lazy. The last update was 9 months ago. ;) Maybe this PR will find its way into 2023.12?
Happy new year and a peaceful Christmas for all!!!
This change is![Reviewable](https://reviewable.io/review_button.svg)