[Users] Interpretation of ~header ...
rwmaillists at googlemail.com
Fri Dec 7 17:29:39 CET 2012
On Fri, 7 Dec 2012 16:14:38 +0000
> 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
In any case, even if it did, the behaviour isn't sensible.
More information about the Users