diff --git a/toolsrc/VERSION.txt b/toolsrc/VERSION.txt
index d7d695c69..0342c24ab 100644
--- a/toolsrc/VERSION.txt
+++ b/toolsrc/VERSION.txt
@@ -1 +1 @@
-"2019.07.18"
+"2019.07.19"