On Mon, 2016-09-26 at 14:29 +0200, Mike Galbraith wrote: > Checkout timers/core, and merge nodeid, and all is well. I'm currently > bisecting the result against HEAD.. which will likely be about as > useful as the last five bisections, but ya never know. (ok git, finger > somebody already [hotplug] and call it a day)
That came out backward, though it shouldn't matter. I checked out nodeid, and merged timers/core into it, which works fine.
