From 2077acfdfb0845c7191dc1ce31e4d434361ac933 Mon Sep 17 00:00:00 2001 From: "Juan J. Martinez" Date: Thu, 7 Jul 2022 21:18:40 +0100 Subject: Updated mill --- mill | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mill b/mill index f85974d..6846fd6 100755 --- a/mill +++ b/mill @@ -3,7 +3,7 @@ # This is a wrapper script, that automatically download mill from GitHub release pages # You can give the required mill version with MILL_VERSION env variable # If no version is given, it falls back to the value of DEFAULT_MILL_VERSION -DEFAULT_MILL_VERSION=0.10.3 +DEFAULT_MILL_VERSION=0.10.5 set -e -- cgit v1.2.3