merge queue: embarking devel (46bcbd6) and #5135 together#5145

Closed

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

Commits on Feb 13, 2025

rebase: bump the github-dependencies group with 2 updates

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