On Fri, Oct 25, 2019 at 02:11:55AM +0000, tsunakawa(dot)takay(at)fujitsu(dot)com wrote:> Thanks for taking a look. I'm afraid my patch includes the fix for this part.
Yes. And now this is applied and back-patched.--Michael