Skip to content

Conversation

MathiasVP
Copy link
Contributor

This matches the changes I made in the internal repo (but slightly modified to match the newer version of Swift).

@MathiasVP MathiasVP added no-change-note-required This PR does not need a change note Swift labels Apr 25, 2022
Copy link
Contributor

@AlexDenisov AlexDenisov left a comment

Choose a reason for hiding this comment

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

🚢

@MathiasVP MathiasVP merged commit 8d2bd66 into github:main Apr 26, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no-change-note-required This PR does not need a change note Swift
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants