dlevin added a comment.
Thanks a lot for helping me with this! One last question: how do I know that patch was finally merged, by periodically checking the github mirror git repository? https://github.com/KDE/syntax-highlighting.git REPOSITORY R216 Syntax Highlighting REVISION DETAIL https://phabricator.kde.org/D16677 To: dlevin, #framework_syntax_highlighting, cullmann Cc: dhaumann, cullmann, kwrite-devel, kde-frameworks-devel, michaelh, ngraham, bruns, demsking, sars
