Skip to content

Drop unsupported option in .jvmopts of munit#18919

Merged
SethTisue merged 1 commit intoscala:mainfrom
dotty-staging:fix-munit-jvmopts
Nov 14, 2023
Merged

Drop unsupported option in .jvmopts of munit#18919
SethTisue merged 1 commit intoscala:mainfrom
dotty-staging:fix-munit-jvmopts

Conversation

@odersky
Copy link
Contributor

@odersky odersky commented Nov 14, 2023

The option is no longer supported after Java 14.
The change was already applied upstream

The option is no longer supported after Java 14.
The change was already doen upstream
@odersky odersky marked this pull request as ready for review November 14, 2023 13:46
@odersky odersky requested a review from SethTisue November 14, 2023 14:41
@SethTisue SethTisue merged commit 18ada51 into scala:main Nov 14, 2023
@SethTisue SethTisue deleted the fix-munit-jvmopts branch November 14, 2023 16:49
@Kordyjan Kordyjan added this to the 3.4.0 milestone Dec 20, 2023
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.

3 participants