Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Conference announcements in isabelle-users cla...


view this post on Zulip Email Gateway (Feb 18 2022 at 11:48):

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.

view this post on Zulip Email Gateway (Feb 18 2022 at 12:10):

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: Jul 15 2022 at 23:21 UTC