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
