Todd Vierling <tv@pobox.com> writes: > - port-* (each separate; should these be Cc:'d to the port's list as > well as current-users?) Please *not* to current-users unless there is good reason to think it may really be a generic problem. Current-users gets enough traffic as it is! Ian