Re: [Valgrind-developers] Valgrind patch: modification of client mutex datatype from void* into Addr

[Dirk M. <dm...@gm...>]

On Wednesday 01 November 2006 14:47, Bart Van Assche wrote:

>     Can the attached patch please be considered for inclusion in
> Valgrind ?

I think it would be a good idea as well. I've asked Julian already about it at 
akademy, and unless somebody screams within the next two days, I'll commit 
it. 


Dirk