There is obviously some fucker playing some kind of game with ports and ports-changes... either just having fun, or maybe a moron who hasn't understood the subtleties of email yet. Whatever...
The person in charge of our mailing-lists has been notified, and will probably deal with it expediently as soon as he reads his emails. In the mean-time, just ignore those messages coming on ports@ apparently from ports-changes@, and please do NOT bother to tell me about it (unless you want to be stuck in the `moron' category as well, that it...)
