The patch is OK. Feel free to submit now, if you want.

Thanks. Done in r206116.

-Y

Reply via email to