Skip to content

Conversation

nicolasstucki
Copy link
Contributor

Closes #9891

@nicolasstucki nicolasstucki marked this pull request as ready for review June 2, 2022 09:11
@nicolasstucki nicolasstucki requested review from biboudis and bishabosha and removed request for biboudis June 2, 2022 09:11
@nicolasstucki nicolasstucki added the fasttrack Simple fix. Reviewer should merge or apply additional changes directly. label Jun 2, 2022
@nicolasstucki nicolasstucki enabled auto-merge June 2, 2022 10:50
@TheElectronWill TheElectronWill self-requested a review June 7, 2022 10:52
@nicolasstucki nicolasstucki merged commit 9be5a34 into scala:main Jun 7, 2022
@nicolasstucki nicolasstucki deleted the fix-9891 branch June 7, 2022 10:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

fasttrack Simple fix. Reviewer should merge or apply additional changes directly.

3 participants