scala-ide/scala-ide — pull request #389 by huitseeker (2013-05-13 14:41:22+00:00)
Title: Version bumping.

Fixes 1001713, updates versions for lib dependencies.