Note: groups.io will be down for maintenance on Monday, September 26th, starting at 9AM Pacific Time (4PM Monday September 26, 2022 UTC), for approximately one hour.
You were NOT! unsubscribed from the list
Some of you might have received a message that you were unsubscribed from the list.
This message was sent by mistake and you have not been unsubscribed.