diff options
Diffstat (limited to 'site')
| -rw-r--r-- | site/contrib/index.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/contrib/index.php b/site/contrib/index.php index 3047b81..b8c97ea 100644 --- a/site/contrib/index.php +++ b/site/contrib/index.php @@ -73,7 +73,7 @@ </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."); ?> + <?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."); ?> <?php echo gettext("Contact <b>nully</b> in the libreboot IRC channel."); ?> </p> <h2>Steve Shenton</h2> |