Bug 362953 - Request for an update to the Valgrind Developers page
Summary: Request for an update to the Valgrind Developers page
Status: RESOLVED FIXED
Alias: None
Product: valgrind
Classification: Developer tools
Component: general (show other bugs)
Version: unspecified
Platform: unspecified Unspecified
: NOR minor
Target Milestone: ---
Assignee: Julian Seward
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2016-05-11 19:44 UTC by Petr Pavlu
Modified: 2016-09-20 10:52 UTC (History)
0 users

See Also:
Latest Commit:
Version Fixed In:


Attachments
Proposed patch. (792 bytes, patch)
2016-05-11 19:46 UTC, Petr Pavlu
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Petr Pavlu 2016-05-11 19:44:42 UTC
I would like to ask for the attached patch to be applied to info/developers.html
in the valgrind-www repository, please. (The second change in the patch is on
behalf of Ivo.) The changes simplify my and Ivo's contributions and correct the
maintenance of the Solaris/illumos port.

Reproducible: Always
Comment 1 Petr Pavlu 2016-05-11 19:46:15 UTC
Created attachment 98919 [details]
Proposed patch.
Comment 2 Julian Seward 2016-09-20 10:52:09 UTC
Committed, valgrind-www revision 512.  Sorry it took so long.