debian/1.12.0-4

Daniel Gillmor

@dkg

7dd18315 · prepare debian release · Oct 18, 2018

gpgme1.0 Debian release 1.12.0-4