]> git.ipfire.org Git - thirdparty/valgrind.git/commit
Merge from trunk, r16437:
authorJulian Seward <jseward@acm.org>
Fri, 9 Jun 2017 13:33:37 +0000 (13:33 +0000)
committerJulian Seward <jseward@acm.org>
Fri, 9 Jun 2017 13:33:37 +0000 (13:33 +0000)
commite84af8758cf9d9422344cb33608aa10709360e21
treee7d590a2943d0840439dd68fbd3a7c31ad047064
parente575586330706a5e8d82e02f336643340e81edc2
Merge from trunk, r16437:
  Fix pub_tool_basics.h build issue with g++ 4.4.7.

git-svn-id: svn://svn.valgrind.org/valgrind/branches/VALGRIND_3_13_BRANCH@16441
include/pub_tool_basics.h