Skip to content

Clarify response ordering (#306)#333

Merged
dbaeumer merged 1 commit intomicrosoft:masterfrom
arxanas:patch-3
Nov 15, 2017
Merged

Clarify response ordering (#306)#333
dbaeumer merged 1 commit intomicrosoft:masterfrom
arxanas:patch-3

Conversation

@arxanas
Copy link
Contributor

@arxanas arxanas commented Nov 13, 2017

This clarifies what the server is allowed to do in regard to reordering responses to requests, as per the discussion in #306 and https://github.com/freebroccolo/ocaml-language-server/issues/59.

This clarifies what the server is allowed to do in regard to reordering responses to requests, as per the discussion in #306 and https://github.com/freebroccolo/ocaml-language-server/issues/59.
@dbaeumer dbaeumer added this to the November 2017 milestone Nov 15, 2017
@dbaeumer dbaeumer merged commit 91c37cf into microsoft:master Nov 15, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants