On Tue, Jul 16, 2002 at 01:45:30PM +0100, Gavan Fantom wrote: > On Tue, 16 Jul 2002, Richard Earnshaw wrote: > > > Indeed. In fact, I think port-arm32 should be obsoleted once 1.6 is out. > > Seconded. I would like to be subscribed to acorn32 before it disappears! I keep "being sent for approval" and nothing happens.. Patrick