Index: share/pgpkeys/pgpkeys-developers.xml =================================================================== --- share/pgpkeys/pgpkeys-developers.xml +++ share/pgpkeys/pgpkeys-developers.xml @@ -2306,6 +2306,11 @@ &pgpkey.wollman; + + &a.woodsb02.email; + &pgpkey.woodsb02; + + &a.joerg.email; &pgpkey.joerg; Index: share/pgpkeys/pgpkeys.ent =================================================================== --- share/pgpkeys/pgpkeys.ent +++ share/pgpkeys/pgpkeys.ent @@ -492,6 +492,7 @@ + Index: share/pgpkeys/woodsb02.key =================================================================== --- /dev/null +++ share/pgpkeys/woodsb02.key @@ -0,0 +1,42 @@ + + + +sub rsa2048/261CBDD3510A176A 2016-05-09 [E] [expires: 2019-05-09] + +]]> +