diff --git a/VERSION b/VERSION
index c4ea541ceedde394c3b10c792fa67a1faa8ce79a..b223e9a36b2fde8e0675bf0f7c50935e24af03b9 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-RELEASE 5.1.1
+RELEASE 5.1.2