Skip to content

Backport #12012: chore(cabal-install): Bump open-browser dependency to allow 0.5#12059

Merged
mergify[bot] merged 1 commit into
3.18from
mergify/bp/3.18/pr-12012
Jun 29, 2026
Merged

Backport #12012: chore(cabal-install): Bump open-browser dependency to allow 0.5#12059
mergify[bot] merged 1 commit into
3.18from
mergify/bp/3.18/pr-12012

Conversation

@mergify

@mergify mergify Bot commented Jun 29, 2026

Copy link
Copy Markdown
Contributor

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

@Mikolaj Mikolaj added the merge me Tell Mergify Bot to merge label Jun 29, 2026
@mergify mergify Bot added the queued label Jun 29, 2026
@mergify

mergify Bot commented Jun 29, 2026

Copy link
Copy Markdown
Contributor Author

Merge Queue Status

This pull request spent 2 hours 6 minutes 3 seconds in the queue, including 1 hour 55 minutes 9 seconds running CI.

Required conditions to merge

mergify Bot added a commit that referenced this pull request Jun 29, 2026
mergify Bot added a commit that referenced this pull request Jun 29, 2026
@mergify mergify Bot merged commit ba7dcf3 into 3.18 Jun 29, 2026
60 checks passed
@mergify mergify Bot deleted the mergify/bp/3.18/pr-12012 branch June 29, 2026 17:53
@mergify mergify Bot removed the queued label Jun 29, 2026
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.

2 participants