diff --git a/share/pgpkeys/pgpkeys-developers.sgml b/share/pgpkeys/pgpkeys-developers.sgml index be38ad7bec..9675ff49b6 100644 --- a/share/pgpkeys/pgpkeys-developers.sgml +++ b/share/pgpkeys/pgpkeys-developers.sgml @@ -129,6 +129,11 @@ &pgpkey.obraun; + + &a.makc; + &pgpkey.makc; + + &a.antoine; &pgpkey.antoine;