On Sun, Sep 08, 2019 at 09:00:11AM -0700, Felix Lechner wrote: > Thanks for reporting upstream that the option did not work > properly. I cherry-picked their fix for you in 1.7-2. You should see > it in the archive shortly. Thanks ! Berto