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

deps: Bump creachadair/jrpc2 to latest (0.10.0) #253

Merged
merged 2 commits into from
Aug 6, 2020
Merged

Conversation

radeksimko
Copy link
Member

@radeksimko radeksimko commented Aug 5, 2020

This brings in some useful improvements, such as support for server-side callbacks which we might need e.g. for #106

It also contains creachadair/jrpc2#24 which fixes #161

@radeksimko radeksimko added the dependencies Auto-pinning label Aug 5, 2020
@radeksimko radeksimko requested a review from a team August 5, 2020 06:48
@radeksimko radeksimko merged commit 59f7a40 into master Aug 6, 2020
@radeksimko radeksimko deleted the deps-jrpc2-bump branch August 6, 2020 06:51
@ghost
Copy link

ghost commented Sep 5, 2020

I'm going to lock this issue because it has been closed for 30 days ⏳. This helps our maintainers find and focus on the active issues.
If you have found a problem that seems similar to this, please open a new issue and complete the issue template so we can capture all the context necessary to investigate further.

@ghost ghost locked and limited conversation to collaborators Sep 5, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
dependencies Auto-pinning
Projects
None yet
Development

Successfully merging this pull request may close these issues.

textDocument/didChange -- file is not open
2 participants