tree 5ba8ba1393adc7e6532f2deadc32228211b50052
parent 7f3ad22648c4e375a9bb09dabe5ed7418542815c
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1037225670 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1037225670 +0000


Merge patch from JeremyF:

29-hg-rename-hg_mutex_t

HELGRIND: rename hg_mutex_t, because it was annoying me.


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