On Fri, 18 Nov 2022 12:05:39 +0100 Toke Høiland-Jørgensen wrote: > FWIW, the original commit 2e0de6366ac1 was merged very quickly without > much review; so I'm not terribly surprised it breaks. I would personally > be OK with just reverting it... +1
On Fri, 18 Nov 2022 12:05:39 +0100 Toke Høiland-Jørgensen wrote: > FWIW, the original commit 2e0de6366ac1 was merged very quickly without > much review; so I'm not terribly surprised it breaks. I would personally > be OK with just reverting it... +1