Soren S. Jorvang | 7 Apr 00:25 2002
Picon

List address change -> port-acorn26

Hi,

as per the change in port name, the port-arm26 list  has been
renamed port-acorn26.

--

-- 
Soren


Gmane