Skip to content

Conversation

@jsoref
Copy link
Contributor

@jsoref jsoref commented Apr 19, 2022

@CodaFi
Copy link
Contributor

CodaFi commented May 4, 2022

@CodaFi CodaFi merged commit 58a932f into swiftlang:main May 4, 2022
@jsoref jsoref deleted the swift-42438 branch May 4, 2022 21:57
@benrimmington
Copy link
Contributor

Please don't rename proposal files, because it may end up breaking existing links.

(In this case, those links are probably using the master branch; but if that branch is ever deleted then GitHub will now fail to redirect to the main branch's proposal.)

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.

3 participants