Re: string> missing?

[Eli Zaretskii]

> From: Richard Stallman <address@hidden>
> Date: Fri, 05 Jun 2015 21:52:46 -0400
> Cc: address@hidden, address@hidden, address@hidden, address@hidden
> 
>   > > Adding string> might be 200 bytes.  Saving 200 bytes is insignificant.
> 
>   > It was also insignificant back when you decided not to include it.
> 
> With all due respect, I don't think you are in a position to judge.

I'm just saying something that seemed to be a non-brainer.

If 200 bytes were significant back then, perhaps you could elaborate
on why and how it could be significant.  Then we all will be on the
same page.

TIA