On Sun, Mar 21, 2021 at 09:53:45AM +0100, Jürgen Spitzmüller wrote: > Am Samstag, dem 20.03.2021 um 19:19 +0100 schrieb Enrico Forestieri: > > Does the attached patch work? > > Yes, this works. Thanks! Committed. -- Enrico