holoirc: bump version
Merge branch 'master' into release-3.1.0
holoirc: bump version once more
Merge branch 'release-3.1.0' into develop