Closed skyluc closed 10 years ago
Test FAILed. Refer to this link for build results: https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-scala-search-validator/16/
Test FAILed. Refer to this link for build results: https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-scala-search-validator/17/
Test FAILed. Refer to this link for build results: https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-scala-search-validator/18/
Cleaned up commits using git revert
+ a manual compatibility change.
You want to merge this to master? I was under the impression that master follows scala-ide master, shouldn't we create a 3.0.x branch instead?
You are right. I created #88 with the right branch setting (doesn't seem like we can change in an existing PR).
Changes needed to produce a 0.2.2 version build with the incoming Scala IDE 3.0.3