diff --git a/share/pgpkeys/pfg.key b/share/pgpkeys/pfg.key new file mode 100644 index 0000000000..db05a5cd51 --- /dev/null +++ b/share/pgpkeys/pfg.key @@ -0,0 +1,50 @@ + + + +sub 2048g/43A91DE0 2011-12-06 +]]> + diff --git a/share/pgpkeys/pgpkeys-developers.sgml b/share/pgpkeys/pgpkeys-developers.sgml index 8a92d322c7..4da0bb2d16 100644 --- a/share/pgpkeys/pgpkeys-developers.sgml +++ b/share/pgpkeys/pgpkeys-developers.sgml @@ -496,6 +496,11 @@ &pgpkey.danger; + + &a.pfg; + &pgpkey.pfg; + + &a.pgollucci; &pgpkey.pgollucci; diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent index 8f66c6bd34..c26b2cc2f9 100644 --- a/share/pgpkeys/pgpkeys.ent +++ b/share/pgpkeys/pgpkeys.ent @@ -261,6 +261,7 @@ +