Theme: Update highlight to latest upstream version (!14) · Merge requests · gajim / website · GitLab

The source project of this merge request has been removed.

André requested to merge (removed):highlight into master Sep 18, 2019