From: Doug Gregor (dgregor_at_[hidden])
Date: 2004-08-16 08:58:43
On Aug 15, 2004, at 11:32 AM, David Abrahams wrote:
> The patch is essentially OK with me, but it touches a number of other
> peoples' libraries so we maybe should hear from others, and it will
> require some labor to commit. Should we give Aaron CVS access for
> this?
The patch looks okay to me and yes, we should give Aaron CVS access to
make this change.
Doug