'update release.is_branched for new release'

bobjacobsen · Oct 20, 2015 · ecb9ebc · ecb9ebc
1 parent 8b92ac2
commit ecb9ebc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/release.properties b/release.properties
@@ -1,4 +1,4 @@
-#Mon, 19 Oct 2015 22:14:18 -0700
+#Mon, 19 Oct 2015 22:22:32 -0700
 # Changes to this file are to be checked in by JMRI release pumpkins only
 #
 
@@ -8,7 +8,7 @@ release.minor=1
 release.build=3
 
 # set this to true if this tree has been branched from the trunk
-release.is_branched=false
+release.is_branched=true
 
 # set this to true if this is a JMRI-project official release candidate build
 # (normally, this is only set by the CI engine)