diff options
Diffstat (limited to 'site')
| -rw-r--r-- | site/contrib/index.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/site/contrib/index.php b/site/contrib/index.php index 8cede29..2f34c07 100644 --- a/site/contrib/index.php +++ b/site/contrib/index.php @@ -63,6 +63,11 @@ Maintains the Gigabyte GA-G41M-ES2L coreboot port, which is integrated in libreboot. Also works on other hardware for the benefit of the libreboot project. Contact <strong>damo22</strong> on the freenode IRC network. This persons website is <a href="http://www.zammit.org/">zammit.org</a>. </p> + <h2>Patrick "P. J." McDermott</h2> + <p> + <?php echo gettext("<a href=\"http://proteanos.com/\">ProteanOS</a> maintainer, responsible for maintaining ProteanOS builds on many libreboot targets, and contributes to libreboot."); ?> + <?php echo gettext("This person's alias on the libreboot IRC channel is <strong>pehjota</strong>, or you can find contact information on the <a href=\"http://proteanos.com/contact/\">ProteanOS website</a>."); ?> + </p> <h2>Lisa Maginnis</h2> <p> <?php echo gettext("<a href=\"https://fsf.org/\">FSF</a> sysadmin, responsible for maintaining the libreboot and libreboot-dev mailing lists, and much of the infrastructure that libreboot uses (for instance, libreboot uses Savannah for Git hosting)."); ?> |