Skip to content

Prepare release 1.9.0.0 #3409

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

Merged
merged 2 commits into from
Dec 26, 2022
Merged

Prepare release 1.9.0.0 #3409

merged 2 commits into from
Dec 26, 2022

Conversation

wz1000
Copy link
Collaborator

@wz1000 wz1000 commented Dec 16, 2022

TODO: Changelogs

Copy link
Collaborator

@fendor fendor left a comment

Choose a reason for hiding this comment

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

Changes to .cabal files for hls-brittany-plugin, hls-cabal-fmt-plugin and hls-cabal-plugin look good to me.

@fendor fendor mentioned this pull request Dec 16, 2022
Copy link
Collaborator

@konn konn left a comment

Choose a reason for hiding this comment

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

Changes for Splice plugin LGTM 👍

@wz1000 wz1000 force-pushed the wip/release-1.9.0.0 branch from 7a35a99 to 21227a3 Compare December 20, 2022 12:26
@wz1000 wz1000 mentioned this pull request Dec 21, 2022
@wz1000 wz1000 force-pushed the wip/release-1.9.0.0 branch 3 times, most recently from dda5d4c to 40da57a Compare December 21, 2022 19:42
@wz1000 wz1000 force-pushed the wip/release-1.9.0.0 branch from c63d57b to b2b1cb9 Compare December 21, 2022 20:00
@wz1000 wz1000 force-pushed the wip/release-1.9.0.0 branch 2 times, most recently from 37b3955 to 984775a Compare December 22, 2022 20:28
@wz1000 wz1000 force-pushed the wip/release-1.9.0.0 branch from 984775a to ff1d918 Compare December 22, 2022 20:39
@wz1000 wz1000 added merge me Label to trigger pull request merge and removed merge me Label to trigger pull request merge labels Dec 22, 2022
@wz1000 wz1000 enabled auto-merge (rebase) December 23, 2022 08:17
@wz1000 wz1000 disabled auto-merge December 23, 2022 08:17
@wz1000 wz1000 force-pushed the wip/release-1.9.0.0 branch from dcc5d94 to ff1d918 Compare December 23, 2022 16:39
@wz1000 wz1000 merged commit 1916b57 into master Dec 26, 2022
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants