mirror of
git://git.gnupg.org/gnupg.git
synced 2025-01-11 13:14:25 +01:00
f3de3a5eb9
is defined before we use it. * gpgkeys_mailto.in: Fix VERSION number.