Skip to content

Conversation

tkoeppe
Copy link
Contributor

@tkoeppe tkoeppe commented May 15, 2025

Discovered by clang-tidy.

See also #5316.

@github-actions github-actions bot requested a review from geoffromer May 15, 2025 16:19
Copy link
Contributor

@danakj danakj left a comment

Choose a reason for hiding this comment

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

LGTM

@jonmeow jonmeow enabled auto-merge May 28, 2025 22:38
@jonmeow
Copy link
Contributor

jonmeow commented May 28, 2025

Noticed this seems to have slipped through the cracks, merging

@jonmeow jonmeow added this pull request to the merge queue May 28, 2025
Merged via the queue into carbon-language:trunk with commit f18fc40 May 28, 2025
10 checks passed
hamphet pushed a commit to hamphet/carbon-lang that referenced this pull request May 29, 2025
chandlerc pushed a commit to chandlerc/carbon-lang that referenced this pull request May 31, 2025
@tkoeppe tkoeppe deleted the includes branch June 2, 2025 11:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants