flambda-backend: Revert VERSION, etc. back to 4.12.0 (mostly reverts 8…

…22d0a0 from upstream 4.12) (ocaml#93)
stedolan · Jul 21, 2021 · 0c597ba · 0c597ba
1 parent 037c3d0
commit 0c597ba
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 15 deletions.
diff --git a/VERSION b/VERSION
@@ -1,4 +1,4 @@
-4.12.1+dev0-2021-02-24
+4.12.0
 
 # The version string is the first line of this file.
 # It must be in the format described in stdlib/sys.mli
diff --git a/configure b/configure