I found a bug in WordPress 3.1 and I also found a solution. The Bug did NOT exist in earlier versions of WordPress, but I don't know when it first occured (in which version)
So: Is there a possibility to see which files of WordPress were changed in each update? And to see in which updates a single file was changed.
This information would be useful to do a bug report.