tree 70c009c84d9ce7caf2715e3f9917e93836dc876f
parent 54803feb0b92e4708d3cee92e7449f802be70197
author bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1245579075 +0000
committer bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1245579075 +0000

Merged revisions 10129:10130 from the DRDDEV branch to the trunk.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10355 a5019735-40e9-0310-863c-91ae7b9d1cf9