new list tomorrow (May 14)

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

new list tomorrow (May 14)

Roberto Ierusalimschy
So we will migrate to the new list tomorrow (Wed, May 14). We will set
the current list address to redirect its messages to the new list.
Certainly it will take a while for everybody to adjust to the new list
(different delays, different subscription rules, different headers,
etc.) but let us hope we will all be happy there :)

-- Roberto