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