mirror of
git://git.gnupg.org/gnupg.git
synced 2024-12-23 10:29:58 +01:00
d06a95a535
that was not available when running without verbose on. Noted by Stefan.