Skip to content

[backport] Another correct seeding of root entry#9541

Merged
SethTisue merged 1 commit intoscala:2.12.xfrom
som-snytt:backport/pr-9535
Mar 11, 2021
Merged

[backport] Another correct seeding of root entry#9541
SethTisue merged 1 commit intoscala:2.12.xfrom
som-snytt:backport/pr-9535

Conversation

@som-snytt
Copy link
Contributor

@som-snytt som-snytt commented Mar 11, 2021

backport #9535 while it's fresh

@scala-jenkins scala-jenkins added this to the 2.12.14 milestone Mar 11, 2021
Copy link
Member

@dwijnand dwijnand left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, Som.

@SethTisue SethTisue merged commit 52d2167 into scala:2.12.x Mar 11, 2021
@som-snytt som-snytt deleted the backport/pr-9535 branch March 11, 2021 19:40
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.

4 participants