On Wed, Oct 04, 2017 at 01:24:15PM +0000, Wilco Dijkstra wrote: > Well my understanding was that it is OK to fix a bootstrap failure. I believe > my > patch is trivial since it mostly removes redundant code. Also I took Jakub's > review as an OK as there were no technical objections. However since you
I've only commented (off-list) on the ChangeLog nits, not on anything else.
Jakub
