diff --git a/share/pgpkeys/alepulver.key b/share/pgpkeys/alepulver.key new file mode 100644 index 0000000000..06d7bae6ff --- /dev/null +++ b/share/pgpkeys/alepulver.key @@ -0,0 +1,45 @@ + + + +uid Alejandro Pulver (Ale's GPG key pair) +sub 2048g/6890C6CA 2005-11-13 +]]> + diff --git a/share/pgpkeys/pgpkeys-developers.sgml b/share/pgpkeys/pgpkeys-developers.sgml index 650acec6e5..10ae5da1e2 100644 --- a/share/pgpkeys/pgpkeys-developers.sgml +++ b/share/pgpkeys/pgpkeys-developers.sgml @@ -704,6 +704,11 @@ &pgpkey.markp; + + &a.alepulver; + &pgpkey.alepulver; + + &a.thomas; &pgpkey.thomas; diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent index bb571844e2..7910551ea6 100644 --- a/share/pgpkeys/pgpkeys.ent +++ b/share/pgpkeys/pgpkeys.ent @@ -6,6 +6,7 @@ +