[Backport master] Add missing selection tool 0894b56 #9552
Merged
Geo GHCI int / Pull request checks
succeeded
Dec 4, 2024 in 9s
Pull request checks
✔️ The commit 9112fbf is not a fixup commit
✔️ The commit 9112fbf is not a squash commit
✔️ The first letter of message head in commit 9112fbf is a capital
✔️ The message head in commit 9112fbf is at least 5 characters long
✔️ The commit 9112fbf is not a merge commit
✔️ Code spell on commit 9112fbf are correct
✔️ Pull request title is correct
Loading