I hadn't noticed that workaround the last time I looked at the upstream bug (previous workarounds were much worse). I'll look into that, thanks.
I hadn't noticed that workaround the last time I looked at the upstream bug (previous workarounds were much worse). I'll look into that, thanks.