No more devel

diff --git a/build-release b/build-release
index 85ad358f59c1606977bc28e3b3d39170bd250ddd..b70b0b8bc10cda1ae00d7d036c099c45896599e2 100755 (executable)
--- a/build-release
+++ b/build-release
@@ -21,7 +21,7 @@ else
 fi
 
 
-devel="devel/" # comment out for the stable branch
+#devel="devel/"        # comment out for the stable branch
 
 # test for uncommitted changes
 if hg id | grep -q '+'