Merge pull request #2537 from jlebon/pr/fix-floating
authorColin Walters <walters@verbum.org>
Wed, 9 Feb 2022 22:15:26 +0000 (17:15 -0500)
committerGitHub <noreply@github.com>
Wed, 9 Feb 2022 22:15:26 +0000 (17:15 -0500)
lib/gpg-verify-result: Add missing floating annotation


Trivial merge