On Mon, Jun 25, 2018 at 07:21:27PM +0530, Kuntal Ghosh wrote:> I've also verified the same. The patch looks good to me.
Thanks for confirming. I have pushed the fix down to 10.--Michael