From 5fe9499fb134c3478805a73dbdddb615a0266118 Mon Sep 17 00:00:00 2001 From: "Juan J. Martinez" Date: Tue, 20 Dec 2022 22:24:23 +0000 Subject: Updated mill --- CHANGES.md | 2 +- mill | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index 3b1fb72..3df7d45 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -2,7 +2,7 @@ ## Release 1.3.? - 2022-??-?? - - ??? + - Updated mill (development). ## Release 1.3.5 - 2022-12-01 diff --git a/mill b/mill index 6846fd6..bbae120 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.5 +DEFAULT_MILL_VERSION=0.10.10 set -e -- cgit v1.2.3