Merge pull request #21502 from NathanReb/patch-4
Remove unnecessary bound on cmdliner
Marcello Seri 3 years ago 19e9997b 5fe6dfc3
··· 27 27 "fmt" {>= "0.8.5"} 28 28 "logs" {>= "0.7.0"} 29 29 "mtime" {>= "1.1.0"} 30 30 - "cmdliner" {< "1.1.0"} 30 30 + "cmdliner" 31 31 "progress" {>= "0.2.1"} 32 32 "semaphore-compat" {>= "1.0.1"} 33 33 "jsonm"