Subject: Time to decommission this port-arm mailing list?
To: None <,>
From: Richard Earnshaw <>
List: port-arm
Date: 02/13/2003 18:16:39
I think we agreed that once 1.6 was out that the port-arm32 mailing list 
should be decommissioned in favour of port-arm and the other more relevant 
lists.  How do we go about this?