On Mon, Oct 27, 2025 at 02:24:25AM +0200, Adrian Bunk wrote: > I've prepared an NMU for cvc4 (versioned as 1.8-4.1) and uploaded > it to DELAYED/15. Please feel free to tell me if I should cancel it. Thanks for your work. I'm going to make a team upload from that.