Update version number for release 13.1.2.
Merge branch 'maint13' after release 13.1.2.