On Sun, Aug 07, 2016 at 10:40:47PM +0000, ng0 wrote:
> Second, is there something left to fix or did someone push this already
> and I did not notice?

I believe this patch corresponds to commit 578aeea6. Please let us know
if it does not.

Reply via email to