diff --git a/share/pgpkeys/leres.key b/share/pgpkeys/leres.key new file mode 100644 index 0000000000..8c32c667e0 --- /dev/null +++ b/share/pgpkeys/leres.key @@ -0,0 +1,70 @@ + + + +uid Craig Leres +uid Craig Leres +uid Craig Leres +sub rsa2048/6C3DC722090D9F71 2017-09-08 [E] [expires: 2020-09-07] + +]]> + diff --git a/share/pgpkeys/pgpkeys-developers.xml b/share/pgpkeys/pgpkeys-developers.xml index 3761ffa976..3c894a29b2 100644 --- a/share/pgpkeys/pgpkeys-developers.xml +++ b/share/pgpkeys/pgpkeys-developers.xml @@ -1921,6 +1921,11 @@ &pgpkey.ler; + + &a.leres.email; + &pgpkey.leres; + + &a.robak.email; &pgpkey.robak; diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent index dfda0ac802..8d21dc797b 100644 --- a/share/pgpkeys/pgpkeys.ent +++ b/share/pgpkeys/pgpkeys.ent @@ -276,6 +276,7 @@ +