Skip to content

Lockless iorefs#2460

Merged
mergify[bot] merged 9 commits into
masterfrom
lockless-iorefs
Dec 11, 2021
Merged

Lockless iorefs#2460
mergify[bot] merged 9 commits into
masterfrom
lockless-iorefs

Conversation

@pepeiborra

@pepeiborra pepeiborra commented Dec 9, 2021

Copy link
Copy Markdown
Collaborator

7th instalment from #2357

@jneira jneira left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

lgtm

Comment thread ghcide/src/Development/IDE/Core/Shake.hs Outdated
@pepeiborra pepeiborra self-assigned this Dec 10, 2021
@pepeiborra pepeiborra added the merge me Label to trigger pull request merge label Dec 10, 2021
@mergify
mergify Bot merged commit 89c44bf into master Dec 11, 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.

3 participants