diff --git a/share/pgpkeys/pgpkeys-developers.sgml b/share/pgpkeys/pgpkeys-developers.sgml index 08700c69d4..283e1868fb 100644 --- a/share/pgpkeys/pgpkeys-developers.sgml +++ b/share/pgpkeys/pgpkeys-developers.sgml @@ -761,6 +761,11 @@ &pgpkey.pav; + + &a.rmacklem; + &pgpkey.rmacklem; + + &a.bmah; &pgpkey.bmah; diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent index c69098eca4..5b6c53030b 100644 --- a/share/pgpkeys/pgpkeys.ent +++ b/share/pgpkeys/pgpkeys.ent @@ -241,6 +241,7 @@ + diff --git a/share/pgpkeys/rmacklem.key b/share/pgpkeys/rmacklem.key new file mode 100644 index 0000000000..07759f2741 --- /dev/null +++ b/share/pgpkeys/rmacklem.key @@ -0,0 +1,35 @@ + + + +sub 1024g/D0B20E8A 2009-04-05 +]]> +