update mainargs to 0.7.2

Author: bishabosha

build.mill

@@ -154,8 +154,7 @@ object Deps {
   val log4j2Core = ivy"org.apache.logging.log4j:log4j-core:2.23.1"
   val osLib = ivy"com.lihaoyi::os-lib:0.10.5"
   val pprint = ivy"com.lihaoyi::pprint:0.9.0"
-  // val mainargs = ivy"com.lihaoyi::mainargs:0.7.1"
-  val mainargs = ivy"com.lihaoyi::mainargs:0.0.0-191-2161a9-DIRTY6998ecd4" // TODO: need to release this as a fix
+  val mainargs = ivy"com.lihaoyi::mainargs:0.7.2"
   val millModuledefsVersion = "0.11.0-M2"
   val millModuledefsString = s"com.lihaoyi::mill-moduledefs:${millModuledefsVersion}"
   val millModuledefs = ivy"${millModuledefsString}"