string::resize bug (PR4548)

[Paolo Carlini]

Phil Edwards wrote:

> On Tue, Nov 20, 2001 at 07:45:32PM -0800, Benjamin Kosnik wrote:
> >
> > This patch is fine, thanks Paolo. My net access/sources are both a bit of a
> > mess right now.
> >
> > Phil, can you check this in please?
>
> First thing tomorrow, trunk and branch unless I hear otherwise.

Thanks Phil!

(if you have some spare time, have a look to 4735 and 4185, they can be both safely
closed, IMHO. I would to this myself if I could manage myself the GNATS reports,
perhaps I may ask to be allowed to do that?)

Cheers,
Paolo.