On Mon, Sep 04, 2023 at 01:00:00PM +0200, Niclas Rosenvik wrote: > I committed a fix for this, so update and enjoy. Thanks a lot for the quick fix! (Overall probably one of the most smooth updates I had in the last year or so, despite my strange option settings). Looking forward to the branch! Martin