On Fri, Jun 18, 1999 at 03:39:44PM +0200, Ignatios Souvatzis wrote:
> 
> This might well be the case, e.g., if the e-mail address in the header 
> was different when you subscribed. (e.g., workstation name instead of
> server name...)

I just checked. There is nobody at ntnu.no subscribed to the arm32 list.

You must be getting the list through a forwarder.

	-is