RELEASE: Syncing VERSION file
diff --git a/VERSION b/VERSION
index ac14c3d..61fcc87 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-5.1.1
+5.1.2