Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
REPL: JLine: follow recommendation to use JNI, not JNA; also JLine 3.…
…27.1 (was 3.27.0) (#22205) as per the https://github.com/jline/jline3 readme and as per discussion and linked items on #22201 fixes #22201 note that as far as I can tell, the stuff I removed from libexec/common-shared is dead code @philwalk dunno if you're still around but judging from #12405 you might be a good reviewer here note that I believe we _don't_ need to also port scala/scala#10889 here, since we are already using separate JLine JARs rather than the all-in-one JAR I've chosen not to upgrade all the way to JLine 3.28.0 at the moment, as it is quite new (2 days ago) and doesn't appear to have any fixes that might be critical.
- Loading branch information