On 09/02/2014 03:52 PM, Alan W. Irwin wrote: > just go ahead an fix this documentation bug without > going through the normal dance of putting it on the bug tracker, Please construct a proposed patch with "git format-patch" and attach it in a message here. Thanks, -Brad