Skip to content

All death to the dev!

Remco de Man requested to merge dev into master

This merge request allows dev to retire. From now on we will use master as our master branch. For old releases, we have the tags.

Merge request reports