Pull request #396 has been dequeued. The pull request has been merged manually. The pull request has been merged manually at 63eae64

Required conditions for merge:

• check-success=buildbot/nix-build
• all of [📃 From pull request rule merge using the merge queue]:
  • -closed [📌 queue requirement]
    • #396
  • -conflict [📌 queue requirement]
    • #396
  • -draft [📌 queue requirement]
    • #396
  • base=main
  • label~=merge-queue|dependencies
    • #396
  • any of [📌 queue -> configuration change requirements]:
    • -mergify-configuration-changed
      • #396
    • check-success = Configuration changed
  • any of [🔀 queue conditions]:
    • all of [📌 queue conditions of queue default]

Check-runs and statuses of the embarked pull request #396:

		buildbot/nix-build Build done.	details
		buildbot/nix-eval Build done.	details
		deploy	details