Skip to content

Conversation

pweisenburger
Copy link
Contributor

When looking into #14586, I happen to come across some open issues that appear to be fixed already. This PR adds regression tests for them.

Closes #3058
Closes #10943
Closes #12216
Closes #12655

Closes lampepfl#3058
Closes lampepfl#10943
Closes lampepfl#12216
Closes lampepfl#12655
@bishabosha bishabosha enabled auto-merge March 28, 2022 08:44
@bishabosha
Copy link
Member

Thank you for spotting these!

@bishabosha bishabosha merged commit 7b6a073 into scala:main Mar 28, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

2 participants