We already had v1.3.1 out of the master branch which, as it was
non-standard procedue, managed to confuse the versioning when doing it
in the maintenance branch.