Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bump version numbers for 3.12.0.0 #9788

Merged
merged 3 commits into from
Mar 26, 2024
Merged

Bump version numbers for 3.12.0.0 #9788

merged 3 commits into from
Mar 26, 2024

Conversation

ffaf1
Copy link
Collaborator

@ffaf1 ffaf1 commented Mar 8, 2024

Version fields, constraints, licences, and bootstrap.


Include the following checklist in your PR:

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

@ffaf1 ffaf1 force-pushed the 3.12-bump branch 10 times, most recently from 095884c to 9b42cd4 Compare March 18, 2024 14:08
@ffaf1 ffaf1 force-pushed the 3.12-bump branch 6 times, most recently from be67b48 to 775e0fc Compare March 22, 2024 19:13
@ffaf1 ffaf1 marked this pull request as ready for review March 25, 2024 14:39
Version fields, constraints, licences, and bootstrap.

☞ N.B.:
- This commit removes 8.10.7 from bootstrap list.
- This release only deals with Cabal, not cabal-install.
This is needed since we need the new (0.6.2.5) release of
hackage-security.
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

@ffaf1 ffaf1 added the squash+merge me Tell Mergify Bot to squash-merge label Mar 25, 2024
@Mikolaj
Copy link
Member

Mikolaj commented Mar 26, 2024

Anybody objecting to me manually merging this PR to streamline the release process?

@Mikolaj Mikolaj merged commit 7d140c5 into haskell:3.12 Mar 26, 2024
50 checks passed
@ffaf1 ffaf1 deleted the 3.12-bump branch March 26, 2024 11:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
squash+merge me Tell Mergify Bot to squash-merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants