[mergify]

Note

This is a merge queue draft opened by Mergify. Its pull request has merged, and nobody needs to act on it.
Mergify opened it for batch inexpensive-beurrenoisette-gb8aon of the default queue, to test #16 before it merged into main.

🎉 What landed

Mergify merged its pull request into main, then closed this draft:

• #16 Fix difficulty menu crash in 10.0.2 (Ceebug), as 2bef07c

This draft's code was built in this order:

1. main at 8099800
2. #16, the pull request of this batch

Metadata for CI tooling, read by mergify ci

---
all_scopes: false
checking_base_sha: 809980012d04f80ef576d05edf6369744f311a26
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 16
    scopes: []
scopes: []
...

Required conditions of queue rule default for merge

• check-success=CI: Test/Lint

Required conditions to stay in the queue

None