diff --git a/share/pgpkeys/pgpkeys-developers.xml b/share/pgpkeys/pgpkeys-developers.xml index 660e905dc1..f35ae1cc4b 100644 --- a/share/pgpkeys/pgpkeys-developers.xml +++ b/share/pgpkeys/pgpkeys-developers.xml @@ -1566,6 +1566,11 @@ &pgpkey.olgeni; + + &a.phil.email; + &pgpkey.phil; + + &a.philip.email; &pgpkey.philip; diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent index d0722040a2..ccae2e003e 100644 --- a/share/pgpkeys/pgpkeys.ent +++ b/share/pgpkeys/pgpkeys.ent @@ -361,6 +361,7 @@ + diff --git a/share/pgpkeys/phil.key b/share/pgpkeys/phil.key new file mode 100644 index 0000000000..f02c96dda0 --- /dev/null +++ b/share/pgpkeys/phil.key @@ -0,0 +1,43 @@ + + + +uid Phil Shafer +sub rsa2048/393DFA173468E663 2015-12-30 [expires: 2018-12-29] + +]]> +