commit ead1c439ef7adb74d986f85d9d5feec13b044ee8
author Wayne Beaton <wayne@eclipse.org> Sat Feb 16 17:47:06 2013 -0500
committer Wayne Beaton <wayne@eclipse.org> Sat Feb 16 17:47:06 2013 -0500
tree 5833e13f39d8df5a17bebb25f8fdf189984e997a
parent 99228b5e9aee5ca293fbf73e4979f511be1401e0

Use the full 'www...' address for PolarSys.

commits/mailinglists.php

diff --git a/commits/mailinglists.php b/commits/mailinglists.php
index 82500ea..272ce03 100644
--- a/commits/mailinglists.php
+++ b/commits/mailinglists.php
@@ -13,7 +13,7 @@
 
 captureMailingLists('eclipse.org', 'https://dev.eclipse.org/mailman/listinfo');
 captureMailingLists('locationtech.org', 'https://www.locationtech.org/mailman/listinfo');
-captureMailingLists('polarsys.org', 'https://polarsys.org/mailman/listinfo');
+captureMailingLists('polarsys.org', 'https://www.polarsys.org/mailman/listinfo');
 
 function captureMailingLists($domain, $url) {
 	createMailingListsTable();