[Sequoia-devel] sequoia-openpgp: 1.12.0