diff --git a/share/pgpkeys/gioria.key b/share/pgpkeys/gioria.key deleted file mode 100644 index 8270255422..0000000000 --- a/share/pgpkeys/gioria.key +++ /dev/null @@ -1,63 +0,0 @@ - - - - Key fingerprint = 41F4 4885 7C23 6ED3 CC24 97AA 6DDD B426 7C8D A4F4 -uid Sebastien Gioria -uid Sebastien Gioria -uid Sebastien Gioria -sub 4096g/F147E4D3 2002-02-09 -]]> - diff --git a/share/pgpkeys/pgpkeys-developers.sgml b/share/pgpkeys/pgpkeys-developers.sgml index 46ae804f35..d86b1bc51e 100644 --- a/share/pgpkeys/pgpkeys-developers.sgml +++ b/share/pgpkeys/pgpkeys-developers.sgml @@ -481,11 +481,6 @@ &pgpkey.danger; - - &a.gioria; - &pgpkey.gioria; - - &a.pgollucci; &pgpkey.pgollucci; diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent index 15d08c8aa7..3459073163 100644 --- a/share/pgpkeys/pgpkeys.ent +++ b/share/pgpkeys/pgpkeys.ent @@ -117,7 +117,6 @@ -