Index: head/share/pgpkeys/pgpkeys-developers.xml
===================================================================
--- head/share/pgpkeys/pgpkeys-developers.xml
+++ head/share/pgpkeys/pgpkeys-developers.xml
@@ -2141,6 +2141,11 @@
&pgpkey.alonso;
+
+ &a.rscheff.email;
+ &pgpkey.rscheff;
+
+
&a.bschmidt.email;
&pgpkey.bschmidt;
Index: head/share/pgpkeys/pgpkeys.ent
===================================================================
--- head/share/pgpkeys/pgpkeys.ent
+++ head/share/pgpkeys/pgpkeys.ent
@@ -474,6 +474,7 @@
+
Index: head/share/pgpkeys/rscheff.key
===================================================================
--- head/share/pgpkeys/rscheff.key
+++ head/share/pgpkeys/rscheff.key
@@ -0,0 +1,27 @@
+
+
+
+sub cv25519/8E3D6702E25FF971 2020-04-09 [E] [expires: 2025-04-09]
+
+]]>
+