Last modified: 2008-12-20 01:30:26 UTC
For some reason, the creation of bug 6725 was reported on the #mediawiki 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.
Hmm, this bug looks pretty stale. I wonder if I shouldn't just close it.
Seems to have been resolved.