On Sun, Nov 26, 2017 at 06:17:14PM +0100, Jeremie Courreges-Anglas wrote: > > I don't think anything has been committed regarding this issue, right?
Nope. I've been discussing this with people in person. Will summarize those discussions and send a new diff soon. (We've just got net in the hut!)
