Comment Comment by paulf38 Is that something that should be merged to upstream Valgrind? parent paulf38 4 months ago