doc: Replace fingerprint of OpenPGP signing key.

* doc/guix.texi (OPENPGP-SIGNING-KEY-ID): Update to Ricardo's key for
the 0.12.0 release.
This commit is contained in:
Ricardo Wurmus 2016-12-20 12:10:57 +01:00
parent bd6ff5b42b
commit cccbc63950
No known key found for this signature in database
GPG key ID: 197A5888235FACAC

View file

@ -10,7 +10,7 @@
@include version.texi
@c Identifier of the OpenPGP key used to sign tarballs and such.
@set OPENPGP-SIGNING-KEY-ID 3CE464558A84FDC69DB40CFB090B11993D9AEBB5
@set OPENPGP-SIGNING-KEY-ID BCA689B636553801C3C62150197A5888235FACAC
@copying
Copyright @copyright{} 2012, 2013, 2014, 2015, 2016 Ludovic Courtès@*