On Mon, May 13, 2019 at 3:37 PM Andreas Gruenbacher <agrue...@redhat.com> wrote: > > Sorry, I should have been more explicit. Would you mind taking this > patch, please? If it's more convenient or more appropriate, I'll send > a pull request instead.
Done. However,I'd like to point out that when I see patches from people who I normally get a pull request from, I usually ignore them. Particularly when they are in some thread with discussion, I'll often just assume that th epatch is part of the thread, not really meant for me in particular. In this case I happened to notice that suddenly my participation status changed, which is why I asked, but in general I might hav ejust archived the thread with the assumption that I'll be getting the patch later as a git pull. Just so you'll be aware of this in the future, in case I don't react... Linus