Re: [PLUG] Did PLUG Mailman change?

2022-07-24 Thread Paul Heinlein
On Fri, 22 Jul 2022, wes wrote: it's complicated, but the short version is that I would call it intentional, yes. Thank you for the confirmation! - Paul -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

Re: [PLUG] Did PLUG Mailman change?

2022-07-22 Thread wes
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

Re: [PLUG] Did PLUG Mailman change?

2022-07-22 Thread Paul Heinlein
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,

Re: [PLUG] Did PLUG Mailman change?

2022-07-22 Thread Rich Shepard
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

[PLUG] Did PLUG Mailman change?

2022-07-22 Thread Paul Heinlein
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