diff --git a/share/pgpkeys/johans.key b/share/pgpkeys/johans.key new file mode 100644 index 0000000000..e3b1d0d392 --- /dev/null +++ b/share/pgpkeys/johans.key @@ -0,0 +1,1542 @@ + + + +uid Johan van Selst +uid Johan van Selst +uid Johan van Selst +uid Johan van Selst +sub 2048g/EF1C75DD 2001-03-03 +sub 1024R/355F8408 2005-11-05 +sub 1024R/9AF7EE88 2005-11-05 +]]> + diff --git a/share/pgpkeys/pgpkeys-developers.sgml b/share/pgpkeys/pgpkeys-developers.sgml index b9f698cf2b..fb43a646d2 100644 --- a/share/pgpkeys/pgpkeys-developers.sgml +++ b/share/pgpkeys/pgpkeys-developers.sgml @@ -779,6 +779,11 @@ &pgpkey.schweikh; + + &a.johans; + &pgpkey.johans; + + &a.gshapiro; &pgpkey.gshapiro; diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent index 0de8ba0a48..d191457dc7 100644 --- a/share/pgpkeys/pgpkeys.ent +++ b/share/pgpkeys/pgpkeys.ent @@ -99,6 +99,7 @@ +