gcc-wwwdocs branch master updated. 25b8efaa9b5f4c8d95f1510296ead31113d44ea8

[gerald@gcc.gnu.org]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gcc-wwwdocs".

The branch, master has been updated
       via  25b8efaa9b5f4c8d95f1510296ead31113d44ea8 (commit)
      from  7f294acb3db3c6db8df1e1a160aa7c5c3f35258a (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 25b8efaa9b5f4c8d95f1510296ead31113d44ea8
Author: Gerald Pfeifer <gerald@pfeifer.com>
Date:   Thu Jan 23 09:39:42 2020 +0100

    Abstract a statement to refer to our infrastructure, no specifics.

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

-----------------------------------------------------------------------

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


hooks/post-receive
-- 
gcc-wwwdocs