diff options
| -rw-r--r-- | share/pgpkeys/pgpkeys-developers.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/share/pgpkeys/pgpkeys-developers.xml b/share/pgpkeys/pgpkeys-developers.xml index d2a2919cf0..a44d76dae7 100644 --- a/share/pgpkeys/pgpkeys-developers.xml +++ b/share/pgpkeys/pgpkeys-developers.xml @@ -1516,6 +1516,11 @@ &pgpkey.rees; </sect2> + <sect2 id="pgpkey-mr"> + <title>&a.mr.email;</title> + &pgpkey.mr; + </sect2> + <sect2 id="pgpkey-bcr"> <title>&a.bcr.email;</title> &pgpkey.bcr; |