tree 3d97e387eb3609ba15af7ab8db9beb4434e14993
parent 2d01d291e4bf16bbafa2dfb76558afaecb27c395
author Akron <nils@diewald-online.de> 1543579278 +0100
committer Akron <nils@diewald-online.de> 1543579386 +0100

Correctly handle XML in KoralQuery highlighter

Change-Id: Id3f53e8409c2f898c6585e58e0a66563aeec0d13