[valgrind] [Bug 411134] Allow the user to change a set of command line options during execution.

2019-08-31 Thread Philippe Waroquiers
https://bugs.kde.org/show_bug.cgi?id=411134 Philippe Waroquiers changed: What|Removed |Added Resolution|--- |FIXED Status|REPORTED

[valgrind] [Bug 411134] Allow the user to change a set of command line options during execution.

2019-08-31 Thread Julian Seward
https://bugs.kde.org/show_bug.cgi?id=411134 Julian Seward changed: What|Removed |Added Attachment #122275|0 |1 is obsolete|

[valgrind] [Bug 411134] Allow the user to change a set of command line options during execution.

2019-08-21 Thread Philippe Waroquiers
https://bugs.kde.org/show_bug.cgi?id=411134 Philippe Waroquiers changed: What|Removed |Added CC||philippe.waroquiers@skynet.