diff --git a/share/pgpkeys/mjg.key b/share/pgpkeys/mjg.key new file mode 100644 index 0000000000..55759d7f60 --- /dev/null +++ b/share/pgpkeys/mjg.key @@ -0,0 +1,41 @@ + + + +sub 2048R/EA19FE8D 2012-06-03 +]]> + diff --git a/share/pgpkeys/pgpkeys-developers.sgml b/share/pgpkeys/pgpkeys-developers.sgml index e8092124c8..1dd67a0a31 100644 --- a/share/pgpkeys/pgpkeys-developers.sgml +++ b/share/pgpkeys/pgpkeys-developers.sgml @@ -551,6 +551,11 @@ &pgpkey.jmg; + + &a.mjg; + &pgpkey.mjg; + + &a.dannyboy; &pgpkey.dannyboy; diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent index 69ec97e89f..b9a66e4377 100644 --- a/share/pgpkeys/pgpkeys.ent +++ b/share/pgpkeys/pgpkeys.ent @@ -237,6 +237,7 @@ +