Merge pull request #38 from realraum/gpg/nicoo
authorChristian Pointner <equinox@spreadspace.org>
Mon, 26 Nov 2018 22:37:30 +0000 (23:37 +0100)
committerGitHub <noreply@github.com>
Mon, 26 Nov 2018 22:37:30 +0000 (23:37 +0100)
gpg: Remove my old key from the keyring


Trivial merge