PR - submitting a patch

[Damien Fleuriot]

Hello list,



I apologize for this very trivial question but I can't seem to find the
answer in the doc:
http://www.freebsd.org/doc/en_US.ISO8859-1/articles/pr-guidelines/article.html


I have submitted a PR late december 2k10 and it's still in open state:
http://www.freebsd.org/cgi/query-pr.cgi?pr=153357


Since the fix is so very trivial, I would like to submit a .patch file.

What is the proper procedure to follow, or person to contact ?