Fixed: Wiki headings containing backslash followed by a digit are not displayed correctly (#7846).
Contributed by Etienne Massip.
Authored by: jplang 2011-03-12
Parent: [r5099]
Child: [r5101]
