From 1196433565733cfc4289a0fca7707ee98ce48ede Mon Sep 17 00:00:00 2001
From: Piotr Chabelski <ged.subfan@gmail.com>
Date: Fri, 10 Nov 2023 09:51:18 +0100
Subject: [PATCH] Fix `mill` version defaults

---
 mill.bat | 2 +-
 millw    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/mill.bat b/mill.bat
index ede8916d7c..eed2915495 100644
--- 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.10.12"
+    set "DEFAULT_MILL_VERSION=0.11.5"
 )
 
 set "MILL_REPO_URL=https://github.com/com-lihaoyi/mill"
diff --git a/millw b/millw
index 295dd03ad0..98f6b925a3 100755
--- a/millw
+++ b/millw
@@ -14,7 +14,7 @@
 set -e
 
 if [ -z "${DEFAULT_MILL_VERSION}" ] ; then
-  DEFAULT_MILL_VERSION=0.10.12
+  DEFAULT_MILL_VERSION=0.11.5
 fi