more preparations for stabilizing 1.3.

diff --git a/build-release b/build-release
index 4970173702f538c9a4f738202e9f2fcdad5d6eb3..26557c97959f7371d90218657923ac24a604ef46 100755 (executable)
--- a/build-release
+++ b/build-release
@@ -14,7 +14,7 @@
 
 set -e
 
-devel="devel/" # uncomment for the stable branch
+# devel="devel/"       # comment out for the stable branch
 
 # update the source