Thanks, now merged and uploaded On Fri, 10 Oct 2025 at 10:51, Adrian Bunk <[email protected]> wrote:
> On Fri, Oct 10, 2025 at 07:50:57AM +0200, Michael Stapelberg wrote: > > Hey Adrian > > Hi Michael, > > > Can you send this as a merge request instead and then I upload a new > > valgrind version? > > https://salsa.debian.org/debian/valgrind/-/merge_requests/12 > > > Thanks > > cu > Adrian > -- Best regards, Michael
