10_debian_default_is_openpgp.diff
