Merge pull request #3077 from cgwalters/debug-finalization-lock
authorJoseph Marrero Corchado <jmarrero@users.noreply.github.com>
Fri, 13 Oct 2023 20:05:44 +0000 (16:05 -0400)
committerGitHub <noreply@github.com>
Fri, 13 Oct 2023 20:05:44 +0000 (16:05 -0400)
deploy: Remove lock when re-staging


Trivial merge