From: Douglas Gregor (doug.gregor_at_[hidden])
Date: 2005-10-11 07:44:42
On Oct 10, 2005, at 5:36 PM, Rene Rivera wrote:
> Robert Ramey wrote:
>
>> In principle I have no problem with this. I'm not sure whether we
>> want to
>> do it right now.
>>
>
> I guess this is a question for Doug. Do this now or later?
Go ahead and do it now, please.
Doug