Index: tools/VERSION |
diff --git a/tools/VERSION b/tools/VERSION |
index 8e6bf6ce155b2a4fbe7a007a308a01bf63649296..db272d8e162a0299ac38b91b3aaaef2316a01dc8 100644 |
--- a/tools/VERSION |
+++ b/tools/VERSION |
@@ -28,4 +28,4 @@ MAJOR 1 |
MINOR 7 |
PATCH 0 |
PRERELEASE 4 |
-PRERELEASE_PATCH 1 |
+PRERELEASE_PATCH 2 |