Comment by antirez

I guess the tone may be disturbing, but I hope that the MongoDB team will do the right thing and thank the user for the detailed bug report, fix the issue, and don't focus too much on the noisy part of the message. After all he tried to use the system, found an issue after debugging for a long time, and contributed the finding back instead of sharing it only with his friends to crash random servers on the internet.