On Mon, Sep 28, 2020 at 02:21:44PM +0100, Phil Thompson wrote: > Should be fixed in tonight's snapshots. Thanks! It works properly now. -- Dmitry Shachnev