there is a "problem" when ezmlm meets gmail:
There's much more than one problem ^^"
It's difficult for gmail and mailing-lists to coexist. People
using gmail regularly get unsubscribed because gmail fails to
answer probes several times in a row. It's a pain, and there's not
much I can do about it.
the ezmlm mailing list manager used for this list seems
(unlike other solutions like sympa and mailman) not to
set a "List-Id" mail header field which the dumb gmail
"filter" facilities seem to require to recognize postings to
mailing lists as such.
But that one seems easy to fix. Thanks for the report.
Let's see if it behaves better from now on. (Please move
that discussion off-list if you want to reply.)
--
Laurent