Skip to content

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Oct 3, 2025

Someone (I won't claim it wasn't me) swapped digits in the dependency for cabal-install. But it's correct for the later tests, which makes me think it was a typo.


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 #11230 done by [Mergify](https://mergify.com).

Someone (I won't claim it wasn't me) swapped digit in the dependency for
cabal-install. But it's correct for the later tests, which makes me
think it was a typo.

(cherry picked from commit 3ddd060)
@mergify mergify bot mentioned this pull request Oct 3, 2025
2 tasks
@mergify mergify bot added the backport label Oct 3, 2025
@geekosaur geekosaur added the merge me Tell Mergify Bot to merge label Oct 3, 2025
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.

1 participant