mirror of
git://git.gnupg.org/gnupg.git
synced 2025-02-07 17:33:02 +01:00
262a8719a4
This was probably leftover from earlier code where the typing mattered.