Simplify to avoid a typo #9315
Merged
Simplify to avoid a typo #9315
Mergify / Rule: Merge "merge+no rebase" pull requests directly (without a queue) (merge)
succeeded
Oct 27, 2023 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at 2df64b4
Loading