scala/scala — pull request #3882 by adriaanm (2014-07-15 09:51:13+00:00)
Title: Bump jline version to 2.12 (Re: SI-8535)

Move version info where it belongs: versions.properties

I skimmed https://github.com/jline/jline2/compare/jline-2.11...jline-2.12 -- looks like all bug fixes to me.

This should fix SI-8535, but I don't have a repro to verify.