On Thu, 2024-06-06 at 10:26 +0200, Thorsten Leemhuis wrote: > On 31.05.24 08:10, Arınç ÜNAL wrote: > > On 31/05/2024 08.40, Thorsten Leemhuis wrote: > > > [adding Paolo, who committed the culprit] > > /me slowly wonders if the culprit should be reverted for now (see below) > and should be reapplied later together with the matching changes from > Arınç ÜNAL. FWIS I think a revert should be avoided, given that a fix is available and nicely small. Thanks, Paolo