I think restoring bootstrap is likely a good thing.

On Fri, Nov 18, 2016 at 2:45 AM, Rainer Orth
<[email protected]> wrote:
>
> I guess this is ok for mainline now to restore bootstrap?

Reply via email to