Bump version number

1 job for master in 11 minutes and 34 seconds (queued for 10 minutes and 40 seconds)
Status Job ID Name Coverage
  Build
passed #1319
build-distcheck

00:11:34