On Sat, Feb 18, 2017 at 11:15 PM, Al Viro <[email protected]> wrote:
>
> AFAICS, the minimal fix would be something like this:

Applied, along with getting rid of the BUG_ON() that made this bug
much worse than it would have been without it.

                    Linus

Reply via email to