Upgrade to jline2 2.14.3 #5636

Merged
merged 2 commits into from Jan 10, 2017

Projects

None yet

2 participants

@adriaanm
Member

Already "backported" to 2.11.x in #5635

adriaanm added some commits Jan 10, 2017
@adriaanm adriaanm Upgrade to jline2 2.14.3
55f596b
@adriaanm adriaanm Revert "Repl prints '\n' as newline, not "^J""
This reverts commit d571fa0 (#5450).

Superseded by upgrade to jline2 2.14.3 (jline/jline2@01969b5)
cd1006c
@scala-jenkins scala-jenkins added this to the 2.12.2 milestone Jan 10, 2017
@adriaanm adriaanm merged commit 827d69d into scala:2.12.x Jan 10, 2017

6 checks passed

cla @adriaanm signed the Scala CLA. Thanks!
Details
combined All previous commits successful.
integrate-ide [4122] SUCCESS. Took 8 s.
Details
validate-main [4624] SUCCESS. Took 149 min.
Details
validate-publish-core [4497] SUCCESS. Took 6 min.
Details
validate-test [3978] SUCCESS. Took 111 min.
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment