Merge branch 'js/imap-send-curl-compilation-fix'

diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt
index 1b7987e73767f1c71d777909f3b275b5976419aa..764a270c83ba6202ff7a3b58e6e067684ea3301f 100644 (file)
--- a/Documentation/user-manual.txt
+++ b/Documentation/user-manual.txt
@@ -1491,7 +1491,7 @@ resolving a merge>>.
 
 [[fixing-a-mistake-by-rewriting-history]]
 Fixing a mistake by rewriting history
-~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 If the problematic commit is the most recent commit, and you have not
 yet made that commit public, then you may just