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] + +]]> +