Skip to content

Merge dev branch into master branch

Tobias Otto requested to merge dev into master

Dev branch is not needed anymore.

Merge request reports