Well, I haven't seen the issue or heard other reports, so it's pretty low priority to me -- if you're seeing it reliably again, do let us know, but otherwise I'll assume it was something else going on, or else a matter of a bug that was fixed by some other bugfix. No need to mantis this one at the moment!