Skip to content

Conversation

@Iltotore
Copy link
Contributor

@Iltotore Iltotore commented Feb 12, 2021

#11337 re-created as suggested in the precedent PR.

@Iltotore maybe it is simpler to just create a new branch/PR from dotty/master and fix the typo again.

@nicolasstucki nicolasstucki merged commit ce75188 into scala:master Feb 15, 2021
@Iltotore Iltotore deleted the typo-fix branch February 16, 2021 11:19
@Kordyjan Kordyjan added this to the 3.0.0 milestone Aug 2, 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