Re: [PATCH] bootstrap: avoid broken Solaris sed

[Paul Eggert]

On 11/15/10 08:05, Eric Blake wrote:
> I like this alternative.  Certainly a smaller patch than my proposal for
> guaranteeing a semi-decent sed, and still easy to follow what the sed
> script is doing.

Thanks for reviewing it; I pushed it.