Bump Mill to 1.0.2 (#112)

Author: Gedochao

.mill-version

@@ -1 +1 @@
-1.0.1
+1.0.2

mill

@@ -39,7 +39,7 @@ if [ "$1" = "--setup-completions" ] ; then
 fi
 
 if [ -z "${DEFAULT_MILL_VERSION}" ] ; then
-  DEFAULT_MILL_VERSION=1.0.0
+  DEFAULT_MILL_VERSION=1.0.2
 fi
 
 

mill.bat

@@ -34,7 +34,7 @@ rem setlocal seems to be unavailable on Windows 95/98/ME
 rem but I don't think we need to support them in 2019
 setlocal enabledelayedexpansion
 
-if [!DEFAULT_MILL_VERSION!]==[] ( set "DEFAULT_MILL_VERSION=1.0.0" )
+if [!DEFAULT_MILL_VERSION!]==[] ( set "DEFAULT_MILL_VERSION=1.0.2" )
 
 if [!MILL_GITHUB_RELEASE_CDN!]==[] ( set "MILL_GITHUB_RELEASE_CDN=" )