This patch checks whether the GPG executables are indeed executable,
[pgp-tools.git] / debian / compat
1 4