merge queue: embarking devel (b18f5b4) and #4876 together#4881

Closed

mergify[bot] wants to merge 2 commits intodevelfrom mergify/merge-queue/da1d18ed6c

Commits on Oct 1, 2024

rebase: bump github/codeql-action from 3.26.8 to 3.26.10

dependabot[bot]
authored and
nixpanic
committed
Merge of #4876
mergify[bot]
authored