Skip to content

avoid duplicated highlighting ranges that kill ARGB rendering

Christoph Cullmann requested to merge work/avoid_duplicate_highlightings into master

Merge request reports