[gardening] Eliminate unneeded include of <string>. #27498

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

swift-ci merged 1 commit into swiftlang:master from gottesmm:pr-2874f8dc3187fa660c8b043dc888866fb0f81f75

Oct 2, 2019

Contributor

gottesmm commented Oct 2, 2019

NFC.


          [gardening] Eliminate unneeded include of <string>.

7f24c99

Contributor Author

gottesmm commented Oct 2, 2019

@swift-ci smoke test and merge

swift-ci merged commit 3db3525 into swiftlang:master

gottesmm deleted the pr-2874f8dc3187fa660c8b043dc888866fb0f81f75 branch

July 23, 2021 21:48

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

Labels

None yet