diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2016-12-20 12:10:57 +0100 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2016-12-20 12:29:13 +0100 |
commit | cccbc63950ad061538b1132b3dfef21794d6b780 (patch) | |
tree | 8767b0ee4bf7753ccb928735865cb8ec5601e386 /nix | |
parent | bd6ff5b42b9daaea9a0786892d4327a30013a992 (diff) |
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.
Diffstat (limited to 'nix')
0 files changed, 0 insertions, 0 deletions