[gardening] Update a bit-rotted header. #29876

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

gottesmm merged 1 commit into swiftlang:master from gottesmm:pr-45a44022ce758198b24f6ffe93c2ff7e4b73271a

Feb 17, 2020

+6 −14

Contributor

gottesmm commented Feb 17, 2020

NFC.


          [gardening] Update a bit-rotted header.

3d88fa1

Contributor Author

gottesmm commented Feb 17, 2020

@swift-ci smoke test and merge

Contributor Author

gottesmm commented Feb 17, 2020

@swift-ci smoke test os x platform

gottesmm merged commit 3cb5f07 into swiftlang:master

gottesmm deleted the pr-45a44022ce758198b24f6ffe93c2ff7e4b73271a branch

February 17, 2020 20:58

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet