124/155: doc: Replace fingerprint of OpenPGP signing key.

[John Darrington]

jmd pushed a commit to branch wip-installer
in repository guix.

commit 9b21a8f1ddce7c07ac8de6bf7c58ecdaf77f85d8
Author: Ricardo Wurmus <address@hidden>
Date:   Tue Dec 20 12:10:57 2016 +0100

    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.
---
 doc/guix.texi |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 389afe0..512b3ae 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -10,7 +10,7 @@
 @include version.texi
 
 @c Identifier of the OpenPGP key used to sign tarballs and such.
address@hidden OPENPGP-SIGNING-KEY-ID 3CE464558A84FDC69DB40CFB090B11993D9AEBB5
address@hidden OPENPGP-SIGNING-KEY-ID BCA689B636553801C3C62150197A5888235FACAC
 
 @copying
 Copyright @copyright{} 2012, 2013, 2014, 2015, 2016 Ludovic address@hidden