Skip to content

Move the Dev branch to Master

Fredo Erxleben requested to merge dev into master

Since we want the latest version to always be present on master, a dedicated dev branch probably is superfluous.

Merge request reports