Merge branch 'automated-upgrade/info.picocli-picocli' into 'master'

Upgrade dependency info.picocli:picocli

See merge request !72
8 jobs for master in 11 minutes and 30 seconds (queued for 3 seconds)