I pushed a fix to http://git.debian.org/?p=collab-maint/valgrind.git;a=commit;h=8ae28fc which will be included in the next Debian upload and subsequent Ubuntu sync.
I pushed a fix to http:// git.debian. org/?p= collab- maint/valgrind. git;a=commit; h=8ae28fc which will be included in the next Debian upload and subsequent Ubuntu sync.