On Sat, Dec 08, 2018 at 12:28:53PM +0900, Amit Langote wrote:> Thanks for noticing it and creating the patch. The fix makes sense.
Thanks a lot for looking at it!--Michael