diff --git a/toolsrc/VERSION.txt b/toolsrc/VERSION.txt
index 6b2a31295..d7d695c69 100644
--- a/toolsrc/VERSION.txt
+++ b/toolsrc/VERSION.txt
@@ -1 +1 @@
-"2019.06.26"
\ No newline at end of file
+"2019.07.18"