Tree
- Tree:
8cfa8506809a70ebcad8ff9dbfd85a3280ab2e47
- Date:
- Message:
- Ignore errors when deleting GNUGPG home directory. Sometimes these fail because of race conditions with gnupg agent socket files. Fixes #1000 Thanks to Matěj Cepl for the patch.
8cfa8506809a70ebcad8ff9dbfd85a3280ab2e47