[wwwdocs] Abstract a statement to refer to our infrastructure, no specifics.

[Gerald Pfeifer <gerald at pfeifer dot com>]

Another reference to svn gone - and more abstract in case of another
change in 2049.

Pushed.

---
 htdocs/contribute.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/htdocs/contribute.html b/htdocs/contribute.html
index 042ff069..b671354e 100644
--- a/htdocs/contribute.html
+++ b/htdocs/contribute.html
@@ -186,7 +186,7 @@ be plaintext rather than part of the patch since the top of the
 ChangeLog changes rapidly and a patch to the ChangeLog would probably
 no longer apply by the time your patch is reviewed.
 If your change fixes a PR, put text in the ChangeLog entry mentioning
-the PR.  The <code>svn commit</code> machinery understands how to
+the PR.  Our infrastructure understands how to
 extract this information and automatically append the commit log to
 the PR.  In order to be recognized, the text must fit a particular
 form.  It must start with "PR", and then must include the category
-- 
2.24.1