From 21d3ea9010b7474fe4cd4e88b03f646de4f572c5 Mon Sep 17 00:00:00 2001
From: Li Haoyi <haoyi.sg@gmail.com>
Date: Tue, 26 May 2020 07:30:26 +0800
Subject: [PATCH] bump mill version

---
 mill | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mill b/mill
index da2b2c5481..3970652a07 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.7.2
+DEFAULT_MILL_VERSION=0.7.3
 
 
 set -e