Bug 362953

Summary:	Request for an update to the Valgrind Developers page
Product:	[Developer tools] valgrind	Reporter:	Petr Pavlu <petr.pavlu>
Component:	general	Assignee:	Julian Seward <jseward>
Status:	RESOLVED FIXED
Severity:	minor
Priority:	NOR
Version:	unspecified
Target Milestone:	---
Platform:	unspecified
OS:	Unspecified
Latest Commit:		Version Fixed In:
Attachments:	Proposed patch.

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.