Skip to content

Register IDE configuration when called via the command line#1495

Merged
mergify[bot] merged 1 commit into
masterfrom
ide-config
Mar 4, 2021
Merged

Register IDE configuration when called via the command line#1495
mergify[bot] merged 1 commit into
masterfrom
ide-config

Conversation

@wz1000

@wz1000 wz1000 commented Mar 4, 2021

Copy link
Copy Markdown
Collaborator

It was registered on initialise, but since we don't go through that code path
when we are not in lsp mode, we get errors when things like hlint try to use it.

@wz1000 wz1000 added the merge me Label to trigger pull request merge label Mar 4, 2021
@mergify
mergify Bot merged commit 364960a into master Mar 4, 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.

2 participants