Skip to content

Bump dependency upper bounds#836

Merged
erikd merged 1 commit intomainfrom
erikd/deps
Apr 13, 2026
Merged

Bump dependency upper bounds#836
erikd merged 1 commit intomainfrom
erikd/deps

Conversation

@erikd
Copy link
Copy Markdown
Collaborator

@erikd erikd commented Apr 10, 2026

Description

Checklist

  • Read our contribution guidelines at CONTRIBUTING.md, and make sure that this PR complies with the guidelines.

@erikd erikd force-pushed the erikd/deps branch 4 times, most recently from af69157 to 6d8e47c Compare April 10, 2026 04:30
@jorisdral
Copy link
Copy Markdown
Collaborator

@erikd does this PR supersede #827?

@erikd
Copy link
Copy Markdown
Collaborator Author

erikd commented Apr 10, 2026

Does not supercede. Takes one commit from that PR and applies it now. The rest of that PR needs to wait for ghc-9.14.2 to fix that bug.

@erikd
Copy link
Copy Markdown
Collaborator Author

erikd commented Apr 13, 2026

Applying this PR now removes the need for allow-newer entries in a number of downstream projects.

@erikd erikd added this pull request to the merge queue Apr 13, 2026
Merged via the queue into main with commit f9347a3 Apr 13, 2026
32 checks passed
@erikd erikd deleted the erikd/deps branch April 13, 2026 10:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants