On Sat, Jul 06, 2024 at 01:20:36PM +0200, Rubén Justo wrote: > > I don't think we want to integrate them, but I'd suggest that > > SANITIZE_LEAK_LOG should be the default/only option. > [...] > > I completely agree. > > Let's wait for the dust to settle after the fix in this series, and then > I'll address the change as you described. That sounds great. Thanks! -Peff
