@@ -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