Skip to content

More highlighted diff fixes

Douwe Maan requested to merge fix-diff-comments into master

This stuff is complex.

Merge request reports