Skip to content

Conversation

@michaelpj
Copy link
Collaborator

No description provided.

@michaelpj michaelpj requested a review from jneira as a code owner September 17, 2022 11:58
@michaelpj michaelpj changed the title Update supported GHC versison doc Update supported GHC versions doc Sep 17, 2022
@michaelpj michaelpj requested a review from wz1000 September 17, 2022 12:00
Copy link
Collaborator

@July541 July541 left a comment

Choose a reason for hiding this comment

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

Thanks!

@michaelpj
Copy link
Collaborator Author

Hang on, I missed one bit! Need to check which plugins are disabled for 9.4.

@michaelpj michaelpj added the merge me Label to trigger pull request merge label Sep 17, 2022
@michaelpj michaelpj enabled auto-merge (squash) September 17, 2022 14:56
@michaelpj michaelpj merged commit 41c978d into master Sep 17, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge me Label to trigger pull request merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants