Add missing selection tool 0894b56 #9551
Merged
Geo GHCI int / Pull request checks
succeeded
Dec 3, 2024 in 17s
Pull request checks
✔️ The commit a900be9 is not a fixup commit
✔️ The commit a900be9 is not a squash commit
✔️ The first letter of message head in commit a900be9 is a capital
✔️ The message head in commit a900be9 is at least 5 characters long
✔️ The commit a900be9 is not a merge commit
✔️ The commit c167284 is not a fixup commit
✔️ The commit c167284 is not a squash commit
✔️ The first letter of message head in commit c167284 is a capital
✔️ The message head in commit c167284 is at least 5 characters long
✔️ The commit c167284 is not a merge commit
✔️ Code spell on commit a900be9 are correct
✔️ Code spell on commit c167284 are correct
✔️ Pull request title is correct
Loading