On Thu, Nov 08, 2018 at 07:19:14PM +0900, Yuzuko Hosoya wrote:> Here is the patch to fix it.
Thanks, committed.--Michael