diff --git a/toolsrc/VERSION.txt b/toolsrc/VERSION.txt
index 966303f8a..86c0faff1 100644
--- a/toolsrc/VERSION.txt
+++ b/toolsrc/VERSION.txt
@@ -1 +1 @@
-"2020.02.04"
+"2020.06.15"