commit 4f5fa2ac407d0427821ff1880609325a6ccf20bd
author David Pursehouse <dpursehouse@collab.net> Wed Apr 05 12:08:05 2017 +0900
committer David Pursehouse <dpursehouse@collab.net> Wed Apr 05 05:05:06 2017 +0000
tree 95dc89cfc516a030e9d0fefcbbd9364335984d03
parent c57fb21c3ffaf022b3732da813b667bb8402bf29

intro-user: Fix anchor for "Private Change" section

Also fix the capitalization of the section title.

Change-Id: I392d510d145b4d7d56315d1103bfb7d6500abaf0

Documentation/intro-user.txt

diff --git a/Documentation/intro-user.txt b/Documentation/intro-user.txt
index 4d84d99..9d8ea34 100644
--- a/Documentation/intro-user.txt
+++ b/Documentation/intro-user.txt
@@ -482,8 +482,8 @@
   $ git push origin HEAD:refs/heads/master -o topic=multi-master
 ----
 
-[[private changes]]
-== Private changes
+[[private-changes]]
+== Private Changes
 
 Private changes are changes that are only visible to their owners and
 reviewers. Private changes are useful in a number of cases: