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

style: bump fourmolu -> 0.13.1.0 #1099

Closed
wants to merge 1 commit into from
Closed

style: bump fourmolu -> 0.13.1.0 #1099

wants to merge 1 commit into from

Conversation

dhess
Copy link
Member

@dhess dhess commented Jul 31, 2023

This commits includes many reformatting changes as a result of the bump, but there are no functional changes here.

I'll wait for the following PRs to merge, so as not to cause painful rebases:

This commits includes many reformatting changes as a result of the
bump, but there are no functional changes here.

Signed-off-by: Drew Hess <[email protected]>
@dhess dhess requested a review from a team July 31, 2023 08:43
@dhess dhess added Do not merge Do not merge blocked Blocked by another issue labels Jul 31, 2023
@brprice
Copy link
Contributor

brprice commented Sep 18, 2023

Could we also wait for #1120 (should be ready "real soon now")?

@dhess
Copy link
Member Author

dhess commented Sep 18, 2023

Yes, no problem. (I had forgotten about this PR, in fact.)

@brprice
Copy link
Contributor

brprice commented Sep 19, 2023

Thanks. Now merged. I don't know of anything blocking this PR now.

@dhess
Copy link
Member Author

dhess commented Oct 2, 2023

Closing in favor of #1158

@dhess dhess closed this Oct 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
blocked Blocked by another issue Do not merge Do not merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants