Fix typo

diff --git a/docs/manuals/en/developers/generaldevel.tex b/docs/manuals/en/developers/generaldevel.tex
index d3e8d49690b8c798303cd6b8fd51834afe371892..b7c5bfea621545a9abf06d92e62ec131580b3e20 100644 (file)
--- a/docs/manuals/en/developers/generaldevel.tex
+++ b/docs/manuals/en/developers/generaldevel.tex
@@ -708,7 +708,7 @@ following form:
 Reason for bug fix or other message. Fixes bug #1234 
 \end{verbatim}
 
-It is important to write the {\bf bug #1234} like
+It is important to write the {\bf bug \#1234} like
 that because our program that automatically pulls messages
 from the git repository to make the ChangeLog looks for that
 pattern.  Obviously the {\bf 1234} should be replaced with