]> git.ipfire.org Git - thirdparty/valgrind.git/commit
projects / thirdparty / valgrind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f3a3ead) | patch
Fix the name of the option in the FIXED BUGS section
authorPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Fri, 28 Dec 2018 23:25:34 +0000 (00:25 +0100)
committerPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Fri, 28 Dec 2018 23:25:34 +0000 (00:25 +0100)
commit4962900a13b87e2bcb19c073c4d7b5ceafb702b9
treece9c6e632d0d86ebcd4664b382cc926742afed29tree | snapshot
parentf3a3eadf369662313544cdc367ec251c35be8a09commit | diff
Fix the name of the option in the FIXED BUGS section
NEWS diff | blob | blame | history
Mirror of https://sourceware.org/git/valgrind.git