commit | 9e0419ccc35cf850f2b209abdebaa39a9fd20509 | [log] [tgz] |
---|---|---|
author | florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Fri May 22 09:34:30 2015 +0000 |
committer | florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Fri May 22 09:34:30 2015 +0000 |
tree | d65e58e60d179ec694b9d1946ce37fd0f04b9eb6 | |
parent | 830198216d4aeb46e693d9d6f9d94548f7418cd1 [diff] |
Followup to 15270. Completely forgot about the double maintenance. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15272 a5019735-40e9-0310-863c-91ae7b9d1cf9