diff options
| -rw-r--r-- | toolsrc/VERSION.txt | 2 |
1 files changed, 1 insertions, 1 deletions
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" |