Alex Smith e5ccb4b68d Update version to 1.3.1 6 anni fa
..
format-check.sh b2870671bd formatcheck: Use a shorter timeout 6 anni fa
git-archive-all.sh f1195e22bf scripts: Add management scripts to make release process easier 7 anni fa
mkrelease.sh e5ccb4b68d Update version to 1.3.1 6 anni fa