Bastien Sat, 01 Feb 2020 01:18:03 -0800
Hi, thanks for the report.
I applied the patch under your name as a TINYCHANGE. Best, -- Bastien