diff --git a/VERSION b/VERSION deleted file mode 100644 index d8b698973a..0000000000 --- a/VERSION +++ /dev/null @@ -1 +0,0 @@ -2.12.0