Bastien Mon, 10 Feb 2020 23:53:12 -0800
Hi Victor, thanks for reporting this, this is fixed now in the maint branch.
Best, -- Bastien