commit | 3260a71774b2d4475b85b10fad0255e9cb638bdb | [log] [tgz] |
---|---|---|
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Sep 23 13:35:36 2015 +0000 |
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Sep 23 13:35:36 2015 +0000 |
tree | 0fb607e237577c91fa9ba656dd0f3310ac0bf6d1 | |
parent | 217485203d43efca154863b98a7d0b1d1c12d9fa [diff] |
Merge, from branches/VALGRIND_3_11_BRANCH, NEWS and docs/xml/vg-entities.xml. Bump version to 3.12.0.SVN. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15679 a5019735-40e9-0310-863c-91ae7b9d1cf9