Fix lock #1753
Merged
Fix lock #1753
Geo GHCI int / Pull request checks
succeeded
Jun 12, 2024 in 8s
Pull request checks
✔️ The commit 3c0ff00 is not a fixup commit
✔️ The commit 3c0ff00 is not a squash commit
✔️ The first letter of message head in commit 3c0ff00 is a capital
✔️ The message head in commit 3c0ff00 is at least 5 characters long
✔️ The commit 3c0ff00 is not a merge commit
✔️ Code spell on commit 3c0ff00 are correct
✔️ Pull request title is correct
Loading