Hello, Has there been a mailing list change? I notice that the List-id has changed and is no longer fossil-dev.lists.fossil-scm.org. I used to filter on the List-post header which has always been [email protected] but appears to have changed recently to [email protected], so my filter had misplaced a few messages until I discovered what had happened.
Here are previous List headers: List-id: <fossil-dev.lists.fossil-scm.org> List-unsubscribe: <http://sqlite.org:8080/cgi-bin/mailman/options/fossil-dev>, <mailto:[email protected]?subject=unsubscribe> List-archive: <http://sqlite.org:8080/cgi-bin/mailman/private/fossil-dev> List-post: <mailto:[email protected]> List-help: <mailto:[email protected]?subject=help> List-subscribe: <http://sqlite.org:8080/cgi-bin/mailman/listinfo/fossil-dev>, <mailto:[email protected]?subject=subscribe> Here are the current List headers: List-id: <fossil-dev.mailinglists.sqlite.org> List-unsubscribe: <http://mailinglists.sqlite.org/cgi-bin/mailman/options/fossil-dev>, <mailto:[email protected]?subject=unsubscribe> List-archive: <http://mailinglists.sqlite.org/cgi-bin/mailman/private/fossil-dev> List-post: <mailto:[email protected]> List-help: <mailto:[email protected]?subject=help> List-subscribe: <http://mailinglists.sqlite.org/cgi-bin/mailman/listinfo/fossil-dev>, <mailto:[email protected]?subject=subscribe> Thanks, Andy -- TAI64 timestamp: 4000000054e8c526 _______________________________________________ fossil-dev mailing list [email protected] http://mailinglists.sqlite.org/cgi-bin/mailman/listinfo/fossil-dev
