Skip to content

[WIP] update ghc-api-compat #2185

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.

Sign up for GitHub

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

Jump to bottom
Closed
wants to merge 2 commits into from
Closed

[WIP] update ghc-api-compat #2185

wants to merge 2 commits into from

Conversation

peterbecich
Copy link
Member

@peterbecich peterbecich commented Sep 11, 2021 •
edited by gitpod-io bot
Loading

@peterbecich
Copy link
Member Author

Reading #2180 now

@jneira
Copy link
Member

jneira commented Sep 13, 2021 •
edited
Loading

Closing in favour of #2188

@jneira jneira closed this Sep 13, 2021
@peterbecich peterbecich deleted the update-ghc-api-compat branch January 4, 2022 01:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@berberman berberman Awaiting requested review from berberman berberman will be requested when the pull request is marked ready for review berberman is a code owner

@michaelpj michaelpj Awaiting requested review from michaelpj michaelpj will be requested when the pull request is marked ready for review michaelpj is a code owner

@guibou guibou Awaiting requested review from guibou guibou will be requested when the pull request is marked ready for review guibou is a code owner

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@peterbecich @jneira