bump version of SpringIDE 3.7.3 from CI to RELEASE -------------------------------------------------- Key: JBIDE-21853 URL: https://issues.jboss.org/browse/JBIDE-21853 Project: Tools (JBoss Tools) Issue Type: Bug Components: build, central Affects Versions: 4.3.1.CR1 Reporter: Nick Boldt Assignee: Nick Boldt Fix For: 4.3.1.CR1 We're still using a pre-release version of Spring IDE 3.7.3 in Central. Since we've now moved up to the 3.7.3.RELEASE version in master, I'm going to make the same change in 4.3.x.