Skip to content
This repository has been archived by the owner on Oct 12, 2022. It is now read-only.

fix: set RenameProvider for rename #343

Merged
merged 1 commit into from
Nov 27, 2018
Merged

fix: set RenameProvider for rename #343

merged 1 commit into from
Nov 27, 2018

Conversation

fannheyward
Copy link
Contributor

fix #342

@slimsag slimsag merged commit 87d2c04 into sourcegraph:master Nov 27, 2018
@fannheyward fannheyward deleted the fix-rename branch November 27, 2018 06:02
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.

rename command not in initialization response
2 participants