Dino Hüllmann Mon, 14 Jan 2019 16:12:22 -0800
Hi, I can confirm that the patched package has solved the problem and the bug no longer occurs.
Thanks to all involved, Dino