Skip to content

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Aug 8, 2025

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).

This is an automatic backport of pull request #11127 done by [Mergify](https://mergify.com).

(cherry picked from commit 9d8968e)
@mergify mergify bot mentioned this pull request Aug 8, 2025
2 tasks
@mergify mergify bot added the backport label Aug 8, 2025
@ulysses4ever ulysses4ever added the merge me Tell Mergify Bot to merge label Aug 8, 2025
@mergify mergify bot merged commit d9b0904 into 3.16 Aug 8, 2025
58 checks passed
@mergify mergify bot deleted the mergify/bp/3.16/pr-11127 branch August 8, 2025 02:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport merge me Tell Mergify Bot to merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants