Skip to content

Update plugin support table#2840

Merged
mergify[bot] merged 3 commits intomasterfrom
mpj/update-plugin-suport
Apr 26, 2022
Merged

Update plugin support table#2840
mergify[bot] merged 3 commits intomasterfrom
mpj/update-plugin-suport

Conversation

@michaelpj
Copy link
Copy Markdown
Collaborator

@michaelpj michaelpj commented Apr 19, 2022

I linked someone to it on IRC and I noticed that it was out of date.

I linked someone to it on IRC and I noticed that it was out of date.
@michaelpj michaelpj requested a review from jneira as a code owner April 19, 2022 16:12
@Ailrun Ailrun added merge me Label to trigger pull request merge and removed merge me Label to trigger pull request merge labels Apr 22, 2022
@Ailrun
Copy link
Copy Markdown
Member

Ailrun commented Apr 22, 2022

Oops, the release is not yet cut. Sorry for the mislabeling :)

@michaelpj
Copy link
Copy Markdown
Collaborator Author

I think we can merge this since it's just docs!

@michaelpj michaelpj added the merge me Label to trigger pull request merge label Apr 26, 2022
@mergify mergify bot merged commit 24e3e13 into master Apr 26, 2022
sloorush pushed a commit to sloorush/haskell-language-server that referenced this pull request May 21, 2022
I linked someone to it on IRC and I noticed that it was out of date.

Co-authored-by: Pepe Iborra <pepeiborra@gmail.com>
hololeap pushed a commit to hololeap/haskell-language-server that referenced this pull request Aug 26, 2022
I linked someone to it on IRC and I noticed that it was out of date.

Co-authored-by: Pepe Iborra <pepeiborra@gmail.com>
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.

4 participants