cmake: clarify git-push suggestion #1295
Merged
Mergify / Rule: rebase and merge when passing all checks (queue)
succeeded
Sep 12, 2024 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at 2bd4253
Loading