From ac3ccc325da95bd8976439df2a209d3909d6a34e Mon Sep 17 00:00:00 2001
From: Piotr Chabelski <ged.subfan@gmail.com>
Date: Wed, 21 Feb 2024 11:54:58 +0100
Subject: [PATCH] Bump Mill in `mill.bat` & `millw`

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

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