Skip to content
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.

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

Update unified-language-server #9

Merged
merged 4 commits into from
Jun 25, 2022
Merged

Update unified-language-server #9

merged 4 commits into from
Jun 25, 2022

Conversation

remcohaszing
Copy link
Member

Initial checklist

  • I read the support docs
  • I read the contributing guide
  • I agree to follow the code of conduct
  • I searched issues and couldn’t find anything (or linked relevant results below)
  • If applicable, I’ve added docs and tests

Description of changes

This updates unified-language-server to version 3. See https://github.com/unifiedjs/unified-language-server/releases/tag/3.0.0 for details.

@github-actions github-actions bot added 👋 phase/new Post is being triaged automatically 🤞 phase/open Post is being triaged manually and removed 👋 phase/new Post is being triaged automatically labels Jun 24, 2022
remcohaszing and others added 2 commits June 24, 2022 11:11
Co-authored-by: Titus <[email protected]>
Co-authored-by: Titus <[email protected]>
@wooorm wooorm changed the title Update unified language server Update unified-language-server Jun 25, 2022
@wooorm wooorm merged commit 8a63f2a into remarkjs:main Jun 25, 2022
@wooorm wooorm added 📦 area/deps This affects dependencies 💪 phase/solved Post is done labels Jun 25, 2022
@github-actions

This comment has been minimized.

@github-actions github-actions bot removed the 🤞 phase/open Post is being triaged manually label Jun 25, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
📦 area/deps This affects dependencies 💪 phase/solved Post is done
Development

Successfully merging this pull request may close these issues.

2 participants