Merge pull request #2776 from cgwalters/fix-potential-double-unwind
authorLuca Bruno <luca.bruno@coreos.com>
Tue, 22 Nov 2022 11:18:14 +0000 (11:18 +0000)
committerGitHub <noreply@github.com>
Tue, 22 Nov 2022 11:18:14 +0000 (11:18 +0000)
repo: Avoid potential double unwind when writing panic value


Trivial merge