Skip to content
This repository has been archived by the owner on Dec 13, 2020. It is now read-only.

Handle websocket document stale event #1084 #1090

Merged
merged 1 commit into from
Jul 28, 2017
Merged

Handle websocket document stale event #1084 #1090

merged 1 commit into from
Jul 28, 2017

Conversation

Dunkat
Copy link
Contributor

@Dunkat Dunkat commented Jul 27, 2017

@Dunkat Dunkat requested a review from cadavre July 27, 2017 11:07
@teosarca
Copy link
Member

quick tested and it's fine

@teosarca teosarca merged commit 1e8de16 into master Jul 28, 2017
@teosarca teosarca deleted the dev-1084 branch July 28, 2017 14:36
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants