commit 43be7b9ae2204a8ff5b761dbcb7b61b360ad148c
author David Pursehouse <dpursehouse@digital.ai> Sat Jun 06 15:04:24 2020 +0900
committer David Pursehouse <dpursehouse@digital.ai> Sat Jun 06 12:26:40 2020 +0000
tree f88a1d61b2f74edef9c5e30b05fc81ee0f81da45
parent 54fd8b73fd1c167c66a51c1bd5625a163c7b406e

Fix header of "Pitfalls" subsection of Private Changes documentation

Change-Id: I3dacba7ffd910122cf1dbd123276c6ef29fe5f14
(cherry picked from commit 2ba3b5a55d37315189104d4237c007bae01f908d)

Documentation/intro-user.txt

diff --git a/Documentation/intro-user.txt b/Documentation/intro-user.txt
index 03f3880..6e58608 100644
--- a/Documentation/intro-user.txt
+++ b/Documentation/intro-user.txt
@@ -605,8 +605,7 @@
 exposing secret details.
 
 [[private-changes-pitfalls]]
-Pitfalls
-===
+=== Pitfalls
 
 If private changes are used, be aware of the following pitfalls: