HEAD - Fixed bug 354181: migrate jdt.core to git
1 file changed