diff options
Diffstat (limited to 'share/pgpkeys/pgpkeys-developers.sgml')
| -rw-r--r-- | share/pgpkeys/pgpkeys-developers.sgml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/share/pgpkeys/pgpkeys-developers.sgml b/share/pgpkeys/pgpkeys-developers.sgml index afdf2745e6..94b0592e9c 100644 --- a/share/pgpkeys/pgpkeys-developers.sgml +++ b/share/pgpkeys/pgpkeys-developers.sgml @@ -159,6 +159,11 @@ &pgpkey.jmb; </sect2> + <sect2 id="pgpkey-brucec"> + <title>&a.brucec;</title> + &pgpkey.brucec; + </sect2> + <sect2 id="pgpkey-brueffer"> <title>&a.brueffer;</title> &pgpkey.brueffer; |