diff --git a/dev-tools/release.sh b/dev-tools/release.sh
index 7cf4668ac1..0b23b3ebb0 100755
--- a/dev-tools/release.sh
+++ b/dev-tools/release.sh
@@ -1,7 +1,7 @@
 #!/bin/sh -x
 
 version=6.2
-revision=13944
+revision=13949
 user=giannozz
 tempdir=$HOME/tempdir