It's time to shut down [email protected]. Most of the threads are now on [email protected], people are back from holiday, and we've already given plenty of notice that a shutdown was imminent. I propose we send mail to [email protected] today, indicating that no new mail will be accepted after Jan. 7. We can close the list, but keep the archives available for the foreseeable future.
Objections? -Hyrum
