merge queue: queuing main (7e8aecb) and #950 together

[mergify]

🎉 This pull request has been checked successfully and will be merged soon. 🎉

Branch main (7e8aecb) and #950 are queued together for merge.

This pull request has been created by Mergify to check the mergeability of #950.
You don't need to do anything. Mergify will close this pull request automatically when it is complete.

Required conditions of queue rule default for merge:

• #approved-reviews-by >= 1 [🛡 GitHub branch protection]
  • Update RFC table in README #950
• #approved-reviews-by>=1
  • Update RFC table in README #950
• #changes-requested-reviews-by=0
  • Update RFC table in README #950
• #commented-reviews-by=0
  • Update RFC table in README #950
• -approved-reviews-by~=author
  • Update RFC table in README #950
• -closed
  • Update RFC table in README #950
• -label~=(blocked|do-not-merge)
  • Update RFC table in README #950
• -merged
  • Update RFC table in README #950
• -title~=(WIP|wip)
  • Update RFC table in README #950
• any of [🛡 GitHub branch protection]:
  • check-success = markdownlint
  • check-neutral = markdownlint
  • check-skipped = markdownlint

Required conditions to stay in the queue:

• #approved-reviews-by >= 1 [🛡 GitHub branch protection]
  • Update RFC table in README #950
• any of [🛡 GitHub branch protection]:
  • check-success = markdownlint
    • Update RFC table in README #950
  • check-neutral = markdownlint
    • Update RFC table in README #950
  • check-skipped = markdownlint
    • Update RFC table in README #950

---
checking_base_sha: 7e8aecb2f65de7098b0be0f60b15c2c9571a8004
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 950
    scopes: []
scopes: []
...