From 725500bc582c4f0cd4e7ad3aa921e0bf2b705b02 Mon Sep 17 00:00:00 2001
From: Albert Krewinkel <albert+github@zeitkraut.de>
Date: Thu, 9 Nov 2017 09:46:54 +0100
Subject: [PATCH] MANUAL: fix header level of "Extension: emoji"

The level of the "Extension: `emoji`" heading is reduced from 5 to 4 to
conform with the other extension headings.
---
 MANUAL.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/MANUAL.txt b/MANUAL.txt
index 588750f1e..b77728e09 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -3697,7 +3697,7 @@ between two East Asian wide characters.  This is a better choice
 than `ignore_line_breaks` for texts that include a mix of East
 Asian wide characters and other characters.
 
-##### Extension: `emoji` ####
+#### Extension: `emoji` ####
 
 Parses textual emojis like `:smile:` as Unicode emoticons.