doc: Replace fingerprint of OpenPGP signing key.v0.13.0
commitdf671177f854da26bb171d9d5e9a6990024107a0
authorLudovic Courtès <ludo@gnu.org>
Sun, 21 May 2017 11:46:35 +0000 (21 13:46 +0200)
committerLudovic Courtès <ludo@gnu.org>
Sun, 21 May 2017 11:46:35 +0000 (21 13:46 +0200)
tree900253cb57481619573ce2ef720250203aad2790
parent31025edc9415d8befd7dc2e5df2946495df0c29e
doc: Replace fingerprint of OpenPGP signing key.

* doc/guix.texi (OPENPGP-SIGNING-KEY-ID): Change to Ludo's key.
doc/guix.texi