Merge pull request #2811 from dbnicholson/cli-polish
authorColin Walters <walters@verbum.org>
Thu, 9 Feb 2023 13:10:36 +0000 (08:10 -0500)
committerGitHub <noreply@github.com>
Thu, 9 Feb 2023 13:10:36 +0000 (08:10 -0500)
Various CLI improvements


Trivial merge