There will be a short mailing list outage on Friday, January 12th while we migrate the Boost mailing lists to a new, more powerful server. The migration will occur in the following time-frame: - 06:00am-10:00am Pacific US time - 07:00am-11:00am Mountain US time - 08:00am-12:00pm Central US time - 09:00am-01:00pm Indiana time - 09:00am-01:00pm Eastern US time - 02:00pm-06:00pm GMT All of the Boost mailing lists hosted at lists.boost org, along with their mail archives, will be unavailable during this time. Doug Gregor Open Systems Lab @ Indiana University