diff --git a/share/pgpkeys/jgh.key b/share/pgpkeys/jgh.key new file mode 100644 index 0000000000..07a6b57f82 --- /dev/null +++ b/share/pgpkeys/jgh.key @@ -0,0 +1,41 @@ + + + +sub 2048R/695B1B92 2011-12-18 [expires: 2021-12-15] +]]> + diff --git a/share/pgpkeys/pgpkeys-developers.sgml b/share/pgpkeys/pgpkeys-developers.sgml index 4da0bb2d16..2697c74f7d 100644 --- a/share/pgpkeys/pgpkeys-developers.sgml +++ b/share/pgpkeys/pgpkeys-developers.sgml @@ -581,6 +581,11 @@ &pgpkey.jh; + + &a.jgh; + &pgpkey.jgh; + + &a.ghelmer; &pgpkey.ghelmer; diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent index c26b2cc2f9..2bbdbeeb47 100644 --- a/share/pgpkeys/pgpkeys.ent +++ b/share/pgpkeys/pgpkeys.ent @@ -147,6 +147,7 @@ +