Skip to content

Swift: Add missing import.#12724

Merged
geoffw0 merged 1 commit into
github:mainfrom
geoffw0:modernstring2
Mar 31, 2023
Merged

Swift: Add missing import.#12724
geoffw0 merged 1 commit into
github:mainfrom
geoffw0:modernstring2

Conversation

@geoffw0
Copy link
Copy Markdown
Contributor

@geoffw0 geoffw0 commented Mar 31, 2023

Add missing import in ExternalFlow.qll. This should have been part of #12642 .

@geoffw0 geoffw0 added no-change-note-required This PR does not need a change note Swift labels Mar 31, 2023
@geoffw0 geoffw0 requested a review from a team as a code owner March 31, 2023 07:56
@geoffw0 geoffw0 merged commit ddb27e5 into github:main Mar 31, 2023
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