On Tue, Jan 31, 2012 at 10:23:09AM -0700, Kevin Fenzi wrote:
Can anyone think of anything that would break if we just remove this
and announce to the mirror list it's gone?
You might want to make a wider-spread announcement than that, but I
can't think of anything that would break other than bad habits
(including my own).
--
Ian Weller <ian(a)ianweller.org>