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