For some reason, the creation of bug 6725 was reported on the MediaWiki-General IRC
channel as:
< wikibugs> (NEW) - http://bugzilla.wikimedia.org/show_bug.cgi?id=6725
Of course, the summary for the bug should've been " replaced with ordinary
spaces in text following a <pre> block". Something's broken here, methinks.
Version: unspecified
Severity: normal