Skip to content

Conversation

@SethTisue
Copy link
Member

@SethTisue SethTisue commented Oct 3, 2020

now that scala/community-build#1225 is closed, and now that a few weeks have passed and we have only minor reports of JDK 15 issues in scala/bug, it seems safe to include 15 on this page

@SethTisue
Copy link
Member Author

SethTisue commented Oct 3, 2020

@xuwei-k @isomarcte you've been doing some JDK 15 testing. do the changes here seem reasonable to you?

@isomarcte
Copy link

@SethTisue this seems reasonable to me.

@SethTisue SethTisue merged commit f7b1cc2 into scala:master Oct 7, 2020
@SethTisue SethTisue deleted the jdk15 branch October 7, 2020 20:50
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