Georg Krause authored 4 years ago and Agate committed 4 years ago

Now that the setup script handles the correct version number we can use
a single build job for stable and dev builds