Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

REPL: JLine 3.27.0 (was 3.25.1) #21752

Merged
merged 1 commit into from
Oct 14, 2024
Merged

REPL: JLine 3.27.0 (was 3.25.1) #21752

merged 1 commit into from
Oct 14, 2024

Conversation

SethTisue
Copy link
Member

@SethTisue SethTisue commented Oct 11, 2024

the same upgrade is in flight in these other repos:

JLine release notes:

a lot of bugfixes, nothing really stands out that I can see

we usually take these upgrades in the hopes they will improve things in small ways, especially for Windows users

I verified that the repl command inside our sbt build still works (on MacOS anyway)

@SethTisue SethTisue added backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. area:repl labels Oct 11, 2024
@SethTisue SethTisue marked this pull request as ready for review October 11, 2024 14:10
@SethTisue SethTisue merged commit 69ac5fb into scala:main Oct 14, 2024
29 checks passed
@SethTisue SethTisue deleted the jline-3.27 branch October 14, 2024 19:54
@WojciechMazur WojciechMazur added backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" and removed backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. labels Oct 15, 2024
@WojciechMazur WojciechMazur added this to the 3.6.0 milestone Oct 15, 2024
WojciechMazur added a commit that referenced this pull request Oct 15, 2024
@WojciechMazur WojciechMazur added backport:done This PR was successfully backported. and removed backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" labels Oct 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area:repl backport:done This PR was successfully backported.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants