Commit 4c388488 authored by Ben Avison's avatar Ben Avison Committed by ROOL

`git push` needs a little more help

Also simplify creation of VersionNum a little

Version 0.32. Tagged as 'builder-0_32'
parent d2b3d95e
Pipeline #239 passed with stages
in 4 minutes and 43 seconds