What happend to bootstrap-lean?

[Paolo Bonzini]

Gerald Pfeifer wrote:
> Hi Paolo,
>
> since we are approaching the GCC 4.2 release, I thought I'd point 
> out the question of bootstrap-lean again, which is still documented
> and which I found rather useful in some settings.
>   
... and which has been restored for a while. :-)
> Also, would you mind adding some notes to gcc-4.2/changes.html, as
> far as changes are user visible?
>   
Yup, I'll work out a paragraph tomorrow.

Paolo