Ricardo Wurmus Wed, 20 Mar 2019 13:26:03 -0700
This should now be fixed (commit cbe0762041f0d86cdb7c3d385a27b7d4b0b266c7).
-- Ricardo