Merge pull request #3089 from cgwalters/fix-undeploy-parsing
authorColin Walters <walters@verbum.org>
Thu, 9 Nov 2023 00:59:31 +0000 (19:59 -0500)
committerGitHub <noreply@github.com>
Thu, 9 Nov 2023 00:59:31 +0000 (19:59 -0500)
undeploy: Parse integer more properly


Trivial merge