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 fossil-...@lists.fossil-scm.org but appears to have changed recently to fossil-dev@mailinglists.sqlite.org, 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:fossil-dev-requ...@lists.fossil-scm.org?subject=unsubscribe> List-archive: <http://sqlite.org:8080/cgi-bin/mailman/private/fossil-dev> List-post: <mailto:fossil-...@lists.fossil-scm.org> List-help: <mailto:fossil-dev-requ...@lists.fossil-scm.org?subject=help> List-subscribe: <http://sqlite.org:8080/cgi-bin/mailman/listinfo/fossil-dev>, <mailto:fossil-dev-requ...@lists.fossil-scm.org?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:fossil-dev-requ...@mailinglists.sqlite.org?subject=unsubscribe> List-archive: <http://mailinglists.sqlite.org/cgi-bin/mailman/private/fossil-dev> List-post: <mailto:fossil-dev@mailinglists.sqlite.org> List-help: <mailto:fossil-dev-requ...@mailinglists.sqlite.org?subject=help> List-subscribe: <http://mailinglists.sqlite.org/cgi-bin/mailman/listinfo/fossil-dev>, <mailto:fossil-dev-requ...@mailinglists.sqlite.org?subject=subscribe> Thanks, Andy -- TAI64 timestamp: 4000000054e8c526 _______________________________________________ fossil-dev mailing list fossil-dev@mailinglists.sqlite.org http://mailinglists.sqlite.org/cgi-bin/mailman/listinfo/fossil-dev