Thread:Sannse/@comment-5891090-20130215163541/@comment-8-20130215193033

Worry about that if it happens :)  Well, actually, don't worry then either.  It's not a major bug, so if it happens again, just report it and do something else on the wiki.

Unless there is a real problem, this isn't something we need to talk about any more.