Summary: | Output summaries in XML files | ||
---|---|---|---|
Product: | [Developer tools] valgrind | Reporter: | renaultd |
Component: | general | Assignee: | Julian Seward <jseward> |
Status: | REPORTED --- | ||
Severity: | wishlist | ||
Priority: | NOR | ||
Version: | unspecified | ||
Target Milestone: | --- | ||
Platform: | Compiled Sources | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: | ||
Attachments: |
Patch file
Patch file |
Description
renaultd
2018-02-12 10:27:03 UTC
Created attachment 117477 [details]
Patch file
Updates and replaces the previous patch file.
To be more precise, the second patch file is an update to the previous one that applies cleanly on top of d7d82317 (the HEAD of master as of January the 12th, 2019). Fell free to comment or advise if this does not follow the coding standards of the project. |