diff -r f93465523457 -r c0cf0150cb4c mill
--- a/mill	Sat Dec 26 19:56:35 2020 +0100
+++ b/mill	Sat Dec 26 20:04:48 2020 +0100
@@ -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.7.3
+DEFAULT_MILL_VERSION=0.9.4
 
 set -e