Subject: Re: RiscPCs and mailing lists
To: Gavan Fantom <gavan@coolfactor.org>
From: Richard Earnshaw <rearnsha@arm.com>
List: port-arm32
Date: 07/16/2002 10:06:44 
> > Also, this is on port-arm32. Is this the best list to use
> > (they seem to keep changing)
> 
> port-acorn32 is probably the "right" place for this.

Indeed.  In fact, I think port-arm32 should be obsoleted once 1.6 is out.

R.