Synopsis: PR number 802: please remove, mistakenly posted State-Changed-From-To: open-closed State-Changed-By: dgaudet State-Changed-When: Mon Jun 30 15:40:39 PDT 1997 State-Changed-Why: We need some method of telling users how to add comments to their own PRs :)
Dean
