[PHP-DEV] Dev question / bugfix for 8449

[Robert R. Evans]

I’ve fixed a bug in PHP (#8449) and would like to submit it, but I haven’t got a clue what diff command to use.� Can someone send me some info/links..?� I’ve got loads of information on *reporting* bugs but very little on *fixing* them.   Thanks