Skip to content

Conversation

@dwijnand
Copy link
Member

No description provided.

@dwijnand dwijnand mentioned this pull request Nov 19, 2020
72 tasks
@dwijnand dwijnand marked this pull request as draft November 19, 2020 16:14
@dwijnand dwijnand marked this pull request as ready for review November 19, 2020 16:17
@dwijnand dwijnand merged commit b31f47e into scala:master Nov 19, 2020
@dwijnand dwijnand deleted the release-2.13.4 branch November 19, 2020 16:17
@SethTisue
Copy link
Member

followup: #1185

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