Skip to content

Merge release 2020 master

Paul Bauer requested to merge merge-release-2020-master into master

Done in separate branch to allow conflict resolution.

Supersedes !154 (merged)

DO NOT SQUASH THE COMMITS :)

Merge request reports