Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Bump versions and add changelogs for 1.9.1.0 #3493

Merged
merged 3 commits into from
Feb 14, 2023
Merged

Bump versions and add changelogs for 1.9.1.0 #3493

merged 3 commits into from
Feb 14, 2023

Conversation

hasufell
Copy link
Member

@hasufell hasufell commented Feb 14, 2023 •
edited
Loading

Forward port

@hasufell hasufell requested a review from wz1000 February 14, 2023 17:00
@wz1000
Copy link
Collaborator

wz1000 commented Feb 14, 2023

Could you also forward port the cabal.project change?

@hasufell
Copy link
Member Author

Could you also forward port the cabal.project change?

Done

@hasufell hasufell mentioned this pull request Feb 14, 2023
Closed
17 tasks
@wz1000 wz1000 added the merge me Label to trigger pull request merge label Feb 14, 2023
michaelpj
michaelpj reviewed Feb 14, 2023
View reviewed changes
cabal.project
@@ -63,6 +63,7 @@ constraints:
-- remove this when hlint sets ghc-lib to true by default
-- https://github.com/ndmitchell/hlint/issues/1376
hlint +ghc-lib,
ghc-check -ghc-check-use-package-abis,
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@wz1000 could you add a comment explaining this on master? It's a bit mysterious otherwise.

@mergify mergify bot merged commit a73c07c into haskell:master Feb 14, 2023
wz1000 added a commit that referenced this pull request Mar 14, 2023
@hasufell @wz1000 @mergify
Bump versions and add changelogs for 1.9.1.0 (#3493)
62dfbdf 
* Bump versions and add changelogs for 1.9.1.0

* Fix build on windows by disabling ghc-check pkg ABI check

---------

Co-authored-by: Zubin Duggal <zubin.duggal@gmail.com>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@michaelpj michaelpj michaelpj approved these changes

@wz1000 wz1000 wz1000 approved these changes

@eddiemundo eddiemundo Awaiting requested review from eddiemundo eddiemundo is a code owner

@pepeiborra pepeiborra Awaiting requested review from pepeiborra

Assignees
No one assigned
Labels
merge me Label to trigger pull request merge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@hasufell @wz1000 @michaelpj