[Users] Interpretation of ~header ...

[RW]

On Fri, 7 Dec 2012 16:14:38 +0000
Paul wrote:

> On Fri, 7 Dec 2012 14:06:33 +0000
> RW <rwmaillists at googlemail.com> wrote: 
> 
> >     header received matchcase bar
> > 
> > means true if any received header matches bar but
> >    
> >    ~header received matchcase bar 
> > 
> > seems to be true if any received header doesn't contain bar (rather
> > than the complement, which would be: no received header contain
> > bar).
> 
> The GUI makes it clear what it does.
>
No it doesn't. It doesn't say anything about how repeated headers are
handled. 

In any case, even if it did, the behaviour isn't sensible.