Re: [PLUG] Did PLUG Mailman change?
it's complicated, but the short version is that I would call it intentional, yes. -wes On Fri, Jul 22, 2022 at 3:09 PM Paul Heinlein wrote: > I'm seeing new List-Id headers in the PLUG-TALK traffic. They were > and have become > . Was that change planned? > > I only ask because I key on those headers for shuffling PLUG messages > to a certain inbox. > > -- > Paul Heinlein > heinl...@madboa.com > 45°22'48" N, 122°35'36" W >
Re: [PLUG] Did PLUG Mailman change?
On Fri, 22 Jul 2022, Rich Shepard wrote: On Fri, 22 Jul 2022, Paul Heinlein wrote: I'm seeing new List-Id headers in the PLUG-TALK traffic. They were and have become . Was that change planned? I only ask because I key on those headers for shuffling PLUG messages to a certain inbox. Paul, I've seen multiple List-Id headers on several mail lists. My solution is to add a new recipe to .procmailrc. I was simply curious if the change was intentional. -- Paul Heinlein heinl...@madboa.com 45°22'48" N, 122°35'36" W
Re: [PLUG] Did PLUG Mailman change?
On Fri, 22 Jul 2022, Paul Heinlein wrote: I'm seeing new List-Id headers in the PLUG-TALK traffic. They were and have become . Was that change planned? I only ask because I key on those headers for shuffling PLUG messages to a certain inbox. Paul, I've seen multiple List-Id headers on several mail lists. My solution is to add a new recipe to .procmailrc. Rich
[PLUG] Did PLUG Mailman change?
I'm seeing new List-Id headers in the PLUG-TALK traffic. They were and have become . Was that change planned? I only ask because I key on those headers for shuffling PLUG messages to a certain inbox. -- Paul Heinlein heinl...@madboa.com 45°22'48" N, 122°35'36" W