Spring issues have migrated from Jira to GitHub Issues and this tracker is now closed. See the announcement blog post for details.