Re: [Valgrind-developers] Valgrind 3.16 release schedule

[Olaf H. <ol...@ae...>]

Am Wed, 5 Feb 2020 10:02:49 +0100
schrieb Julian Seward <js...@ac...>:

> Please attach a patch (not a PR) to bug 390553 which changes the current
> sources in a way which you think is suitable. 

I will do so until this Friday.

Olaf