Bump version number

7 jobs for dev in 3 minutes and 55 seconds (queued for 2 seconds)