mirror of
git://git.gnupg.org/gnupg.git
synced 2025-01-08 12:44:23 +01:00
b9958bba10
Again reported by Johan van Selst. Let's see whether this one is okay.