On Sat, Jun 10, 2017 at 11:08 AM, Al Viro <viro@xxxxxxxxxxxxxxxxxx> wrote:
>
> BTW, should I send an updated pull request in such situation?
It's better if you do, although in this case it was obvious that you'd
just added a single line and I could see the diffstat still match with
that addition.
But in general it just makes things easier for me when I see that
updated pull request, and it is obvious that "yes, Al clearly meant me
to pull that, despite it not matching the original pull request".
Linus
