On Sat, Jun 15, 2024 at 10:06:55AM +0200, Kornel Benko wrote: > I had the impression that 2.4.1-devel branch is dead. Should this not go to 2.4.x branch > instead? Oops, was on a wrong branch indeed. P