Remove "+dev" from version numbers #1553
Description
Release packages are built with +dev in the version. Figure out why and fix it.
Development packages should be versioned like v[VERSION]+[GIT_COMMIT_ID]. Release packages should be versioned like v[VERSION]
Tasks
- Fix artifact version numbers to be as described above (0.25d) @ilija-lazoroski
- Fix local builds
- Fix jenkins builds