Skip to content

Conversation

phip1611
Copy link
Member

@phip1611 phip1611 commented Aug 25, 2025

Follow-up of #1586 and #1612. #1612 messed up a rebase in 4e03942, most likely.

Checklist

  • Sensible git history (for example, squash "typo" or "fix" commits). See the Rewriting History guide for help.
  • Update the changelog (if necessary)
@nicholasbishop nicholasbishop added this pull request to the merge queue Aug 25, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Aug 25, 2025
@nicholasbishop nicholasbishop added this pull request to the merge queue Aug 25, 2025
Merged via the queue into main with commit 4576f5a Aug 25, 2025
20 checks passed
@nicholasbishop nicholasbishop deleted the doc2 branch August 25, 2025 16:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
2 participants