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 83a3860d7e..d423713266 100644 --- a/share/pgpkeys/pgpkeys-developers.sgml +++ b/share/pgpkeys/pgpkeys-developers.sgml @@ -561,6 +561,11 @@ &pgpkey.mjg; </sect2> + <sect2 id="pgpkey-jhale"> + <title>&a.jhale;</title> + &pgpkey.jhale; + </sect2> + <sect2 id="pgpkey-dannyboy"> <title>&a.dannyboy;</title> &pgpkey.dannyboy; |