I think restoring bootstrap is likely a good thing.
On Fri, Nov 18, 2016 at 2:45 AM, Rainer Orth <r...@cebitec.uni-bielefeld.de> wrote: > > I guess this is ok for mainline now to restore bootstrap?
I think restoring bootstrap is likely a good thing.
On Fri, Nov 18, 2016 at 2:45 AM, Rainer Orth <r...@cebitec.uni-bielefeld.de> wrote: > > I guess this is ok for mainline now to restore bootstrap?