]> git.ipfire.org Git - thirdparty/valgrind.git/commit
Merge, from trunk, r14561
authorJulian Seward <jseward@acm.org>
Sun, 23 Nov 2014 12:05:04 +0000 (12:05 +0000)
committerJulian Seward <jseward@acm.org>
Sun, 23 Nov 2014 12:05:04 +0000 (12:05 +0000)
commit9333fa30bf07de9595c79e5434c4edae16277d60
tree38809448b12273ac99a03f595a133767b56662b1
parente3353701375cb2dd7cbd006603770a40e201df62
Merge, from trunk, r14561
14561  Add missing ]] to terminate CDATA.

git-svn-id: svn://svn.valgrind.org/valgrind/branches/VALGRIND_3_10_BRANCH@14747
docs/xml/manual-core.xml