Thanks for the quick fix Jim! I verified the bug is now fixed in the git
repository.
-Tim
On Sun, Apr 24, 2011 at 2:22 PM, Jim Meyering j...@meyering.net wrote:
Thanks again.
Here's the fix I expect to use:
From 79a476abb35a69f409e2848019c8ebc24cc687cf Mon Sep 17 00:00:00 2001
From: Jim
On 4/21/2011 4:10 PM, Phillip Susi wrote:
I noticed that some posts to the list today were not being filtered into
the correct mailbox because the List-Id and List-Post fields were
changed from gnu.org to nongnu.org. Was this intentional, and why?
I didn't file a bug report. This message
On 04/25/2011 12:54 PM, Phillip Susi wrote:
On 4/21/2011 4:10 PM, Phillip Susi wrote:
I noticed that some posts to the list today were not being filtered into
the correct mailbox because the List-Id and List-Post fields were
changed from gnu.org to nongnu.org. Was this intentional, and why?
Phillip Susi wrote:
On 4/21/2011 4:10 PM, Phillip Susi wrote:
I noticed that some posts to the list today were not being filtered into
the correct mailbox because the List-Id and List-Post fields were
changed from gnu.org to nongnu.org. Was this intentional, and why?
I didn't file a bug