On Mon, May 29, 2017 at 04:48:17PM +0200, Dmitry Vyukov wrote: > Al, do you want me to mail the patch? > I won't be able to write a super detailed description, but I can do > some format patch.
It's been fixed by commit c0eb027e5aef7; if you are still able to trigger it on the current mainline, please yell - that would have to be something different.
