aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--share/pgpkeys/pgpkeys-developers.xml5
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;