Re: mail-extr vs @host:addr

Fri, 20 May 94 15:17:59 PDT 

Right, that's a bug.  It should have dumped core instead.
I'll see what I can do.

Reply via email to