Skip to content

Conversation

@SethTisue
Copy link
Member

I'm not sure the jansi entry ought to be here at all,
since the jline 1.14.6 jar embeds it shaded, but all
the weird jline stuff in our build.sbt makes me unsure.

but anyway, I happened to notice that the version number was wrong, as
per https://github.com/jline/jline2/blob/jline-2.14.6/pom.xml#L122 ,
having it right can't be bad

@scala-jenkins scala-jenkins added this to the 2.12.9 milestone Apr 25, 2019
@SethTisue
Copy link
Member Author

SethTisue commented Apr 25, 2019

hmm I see that even https://repo1.maven.org/maven2/jline/jline/2.14.6/jline-2.14.6.jar has the shaded jansi in it, so it's probably better to just remove this entry from the IntelliJ project?

@SethTisue SethTisue merged commit a09ca5b into scala:2.12.x May 4, 2019
@SethTisue SethTisue deleted the jansi branch May 4, 2019 16:48
@SethTisue
Copy link
Member Author

SethTisue commented May 4, 2019

someone can take up my removal question separately if they want

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants