doc: Replace fingerprint of OpenPGP signing key.
authorRicardo Wurmus <rekado@elephly.net>
Tue, 20 Dec 2016 11:10:57 +0000 (12:10 +0100)
committerRicardo Wurmus <rekado@elephly.net>
Tue, 20 Dec 2016 11:29:13 +0000 (12:29 +0100)
* doc/guix.texi (OPENPGP-SIGNING-KEY-ID): Update to Ricardo's key for
the 0.12.0 release.

doc/guix.texi

index 389afe0..512b3ae 100644 (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@*