From: Yakoub Nemouchi <y.nemouchi@ensbiotech.edu.dz>
Dear list,
I just noticed lately, that a couple of conference announcements emails,
from Isabelle-users, were classified as promotions by the google client,
and went to the promotions tab directly.
I don't know if this classification is intended by the moderators of
Isabelle-users (flagged this kind of emails), or by the google client
(being smarter than it should be), in both cases I do not like it. Since
it was very useful to me in many cases to look at these conference
announcements while checking my Primaries.
Best wishes,
Yakoub.
From: Lawrence Paulson <lp15@cam.ac.uk>
This behaviour is unintentional and may be caused by some interaction between the new mailing list server and Google mail.
Larry Paulson
Last updated: Jan 04 2025 at 20:18 UTC