Merge pull request #3123 from cgwalters/deploy-log-space
authorColin Walters <walters@verbum.org>
Wed, 20 Dec 2023 12:22:21 +0000 (07:22 -0500)
committerGitHub <noreply@github.com>
Wed, 20 Dec 2023 12:22:21 +0000 (07:22 -0500)
deploy: Log calculated needed space


Trivial merge