Re: [pacman-dev] [PATCH 6/7] pacman-key: fix parsing of command line options