Skip to content

Commit 0c597ba

Browse files
authored
flambda-backend: Revert VERSION, etc. back to 4.12.0 (mostly reverts 822d0a0 from upstream 4.12) (#93)
1 parent 037c3d0 commit 0c597ba

File tree

2 files changed

+15
-15
lines changed

2 files changed

+15
-15
lines changed

VERSION

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
4.12.1+dev0-2021-02-24
1+
4.12.0
22

33
# The version string is the first line of this file.
44
# It must be in the format described in stdlib/sys.mli

configure

Lines changed: 14 additions & 14 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)