Update subversion

gbdrt · gbdrt · commit 56febdfc91bb · 2021-06-16T11:16:47.000+02:00
diff --git a/configure b/configure
@@ -3,7 +3,7 @@
 #load "unix.cma"
 
 let version = "2.2"
-let subversion = ""
+let subversion = "stable"
 
 let prefix = ref (Filename.concat (Sys.getcwd ()) "_build/install/default/")
 
