chiark / gitweb /
gpg: Flush stdout before printing stats with --check-sigs.