Skip to content

Conversation

nicolasstucki
Copy link
Contributor

Fixes #18353

@nicolasstucki nicolasstucki self-assigned this Aug 8, 2023
@nicolasstucki nicolasstucki marked this pull request as ready for review August 8, 2023 09:41
@nicolasstucki nicolasstucki added the backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. label Aug 8, 2023
@bishabosha bishabosha merged commit e90dc31 into scala:main Sep 7, 2023
@bishabosha bishabosha deleted the fix-18353 branch September 7, 2023 07:22
@Kordyjan Kordyjan removed the backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. label Oct 10, 2023
@Kordyjan Kordyjan added this to the 3.4.0 milestone Dec 20, 2023
WojciechMazur added a commit that referenced this pull request Jun 20, 2024
) Backports #18354 to the LTS branch. PR submitted by the release tooling. [skip ci]
WojciechMazur added a commit that referenced this pull request Jun 20, 2024
) Backports #18354 to the LTS branch. PR submitted by the release tooling. [skip ci]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants