Please report full details via the bug tracker. Thanks.
It was reported to bug tracker, with no results.
Why are you even bothering about that, even if one of the core devs is asking you to use the bugtracker? Report it as a bug, if it is not a bug, it will be marked as such and closed. If it is a bug it will most likely be followed up to be fixed.
I have to agree with other people posting here - if you need help, its better to look for it in these forums. If you do report it as a bug, and it turns out its NOT a bug, youve wasted a lot of time and your server could remain down while its bug-ness is debated.
Forums are traditionally used for help - thats just the way it is on the web. Might be better to determine if its a bug here in these user-friendly, easy-to-search forums, and then move it to the tracker if it actually turns out to be. Seems a bit backward the way its being done currently...