On 5/8/15, Egmont Koblinger wrote: > How much work would it be to port your branch to 4.8.14 or git head > (they're pretty much the same now)? Probably very little work. I'll do that sometime soon, I hope.