Skip to content

Conversation

pepeiborra
Copy link
Collaborator

Fixes #1332

Copy link
Member

@jneira jneira left a comment

Choose a reason for hiding this comment

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

LGTM

@pepeiborra pepeiborra added the merge me Label to trigger pull request merge label Feb 9, 2021
@mergify mergify bot merged commit 0a4514a into master Feb 9, 2021
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.

ghcide 0.7.4.0 breaks hls-explicit-imports-plugin 0.1.0.0
2 participants