Skip to content
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.

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

Fix #ifdef comments. #25379

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Conversation

mering
Copy link

@mering mering commented Feb 25, 2025

This has been overlooked in 121f6c7.

This has been overlooked in 121f6c7.
@github-actions github-actions bot added the awaiting-review PR is awaiting review from an assigned reviewer label Feb 25, 2025
@tjgq tjgq changed the title Fix ifdef comments Fix #ifdef comments. Feb 25, 2025
@tjgq tjgq added awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally and removed awaiting-review PR is awaiting review from an assigned reviewer labels Feb 25, 2025
@sgowroji sgowroji added the team-Configurability platforms, toolchains, cquery, select(), config transitions label Feb 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally team-Configurability platforms, toolchains, cquery, select(), config transitions
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants