From ee0f62fce2a010772632cd8f4be7318e12485d7a Mon Sep 17 00:00:00 2001
From: Leah Woods <info@minifree.org>
Date: Thu, 05 May 2016 18:49:22 -0400
Subject: Revert "contrib page: remove inactive contributor"

This reverts commit c86c34750ba856bb85c30a29015ed52307f1b29a.
---
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 &quot;P. J.&quot; 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)."); ?>
--
cgit v0.9.1