tree 1de4d0842dd426bd1dfcded2b7b087564eed3bee
parent 3c836872858863886160036d989f029899fc88c7
author bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1313302577 +0000
committer bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1313302577 +0000

Follow-up for r11971

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