Skip to content

Conversation

@geekosaur
Copy link
Collaborator

Template B: This PR does not modify behaviour or interface

E.g. the PR only touches documentation or tests, does refactorings, etc.

Include the following checklist in your PR:

  • Patches conform to the coding conventions.
  • Is this a PR that fixes CI? If so, it will need to be backported to older cabal release branches (ask maintainers for directions).

@geekosaur
Copy link
Collaborator Author

Oh, actually it's because I forgot to switch the branch it was based on so it was going into master. Oops. This one has just the revert commit, like it should.

Copy link
Member

@Mikolaj Mikolaj left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@geekosaur geekosaur added merge me Tell Mergify Bot to merge and removed attention: needs-review labels Nov 15, 2025
@mergify mergify bot added the queued label Nov 15, 2025
@mergify mergify bot merged commit cd8bc07 into 3.16 Nov 15, 2025
58 checks passed
@mergify mergify bot deleted the revert-GLIBCXX-debug-take-2 branch November 15, 2025 16:10
@mergify mergify bot added merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days and removed queued labels Nov 15, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

continuous-integration merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge me Tell Mergify Bot to merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants