Merge #8180: Update luke-jr's PGP key
commit32b7294177e50cba8aa26ae0689d4b24f3c10df3
authorWladimir J. van der Laan <laanwj@gmail.com>
Thu, 9 Jun 2016 14:43:42 +0000 (9 16:43 +0200)
committerWladimir J. van der Laan <laanwj@gmail.com>
Thu, 9 Jun 2016 14:44:16 +0000 (9 16:44 +0200)
treee1bfb476c5aa45a2f3fbeaa3813da7396674daf1
parentf7b1bfc9a347e371c4fdcf3bdc5a7786280e9d0d
parent0d53a9e72f9694e84344f230317aa2485bc07960
Merge #8180: Update luke-jr's PGP key

0d53a9e Update luke-jr's PGP key (Luke Dashjr)