diff --git a/.mill-version b/.mill-version index e5cbde33e6..b80f98e66f 100644 --- a/.mill-version +++ b/.mill-version @@ -1 +1 @@ -0.11.6 +0.11.7 diff --git a/mill.bat b/mill.bat index 42a5186a2d..fa75215592 100755 --- a/mill.bat +++ b/mill.bat @@ -16,7 +16,7 @@ rem but I don't think we need to support them in 2019 setlocal enabledelayedexpansion if [!DEFAULT_MILL_VERSION!]==[] ( - set "DEFAULT_MILL_VERSION=0.11.6" + set "DEFAULT_MILL_VERSION=0.11.7" ) set "MILL_REPO_URL=https://github.com/com-lihaoyi/mill" diff --git a/millw b/millw index 0c5419bb63..d5bd9ca618 100755 --- a/millw +++ b/millw @@ -14,7 +14,7 @@ set -e if [ -z "${DEFAULT_MILL_VERSION}" ] ; then - DEFAULT_MILL_VERSION=0.11.6 + DEFAULT_MILL_VERSION=0.11.7 fi