Alex Smith 95c365076f Update to version 1.4-dev post-release 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 95c365076f Update to version 1.4-dev post-release 6 anni fa