Re: redirecting to dev/null

Sergei asked:

 
> I'm trying to get rid (for a while) of messages coming from 
> a certain address (xxx(_at_)xxx(_dot_)xx(_dot_)xx)
>
> Date: Wed, 17 Apr 96 10:05:45 PDT
> From: Somebody <somebody(_at_)somewhere>
> Reply to: xxx(_at_)xxx(_dot_)xx(_dot_)xx
> To: yy(_at_)yyy(_dot_)yy(_dot_)yy
> Subject: ZZZZZZZ
>
> These are the lines which I thought would do it:
>
> :0
> * ^Reply To: xxx(_at_)xxx(_dot_)xx(_dot_)xx
          ^

          wrong character.  You mean :

* ^Reply-To:

Soren