[boost] List-Id mail header

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 <boost.lists.boost.org> Now it is: List-Id: Boost developers' mailing list <boost.wowbagger.crest.iu.edu> 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. 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