diff options
| author | Wladimir J. van der Laan <[email protected]> | 2016-06-09 16:43:42 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <[email protected]> | 2016-06-09 16:44:16 +0200 |
| commit | 32b7294177e50cba8aa26ae0689d4b24f3c10df3 (patch) | |
| tree | e1bfb476c5aa45a2f3fbeaa3813da7396674daf1 | |
| parent | Merge #8178: Add git and github tips and tricks to developer notes (diff) | |
| parent | Update luke-jr's PGP key (diff) | |
| download | discoin-32b7294177e50cba8aa26ae0689d4b24f3c10df3.tar.xz discoin-32b7294177e50cba8aa26ae0689d4b24f3c10df3.zip | |
Merge #8180: Update luke-jr's PGP key
0d53a9e Update luke-jr's PGP key (Luke Dashjr)
| -rw-r--r-- | contrib/gitian-keys/luke-jr-key.pgp | bin | 6518 -> 6518 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/contrib/gitian-keys/luke-jr-key.pgp b/contrib/gitian-keys/luke-jr-key.pgp Binary files differindex 4406e6d5b..a2d34e75e 100644 --- a/contrib/gitian-keys/luke-jr-key.pgp +++ b/contrib/gitian-keys/luke-jr-key.pgp |