On Tue, May 30, 2017 at 8:24 AM, Al Viro <viro@xxxxxxxxxxxxxxxxxx> wrote: > 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. Thanks for the update! No, I can't say that I still see this. It happened very infrequently, so I wanted to make sure that we don't lost it regardless of whether I see it or not.