On 20 April 2017 at 11:36, Christoph Ludwig via Boost < boost@wowbagger.crest.iu.edu> wrote:
Hi,
starting yesterday, the List-Id header in the mails I get from the Boost mailing list changed. It used to be:
List-Id: Boost developers' mailing list
Now it is:
List-Id: Boost developers' mailing list
Due to this change, the mail filter I have used for years fails to identify the messages as boost mailing list traffic. Therefore, the messages end up in my regular inbox instead of the dedicated folder I have for the mailing list.
Same here.
Of course, I can easily update my mail filter, that's no big deal. I just want to know: Did I miss an announcement, was this change intended? Will the List-Id use the wowbagger identifier from now on?
Cheers, Christoph
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/ mailman/listinfo.cgi/boost