Sorry I made a mistake on a copy-paste. As you might have deduced it, the bug report concerned another package (spring). You can destroy this report.