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

Fix workspace symbol handling #6112

Merged
merged 1 commit into from Sep 5, 2017

Conversation

tsmaeder
Copy link
Contributor

@tsmaeder tsmaeder commented Sep 1, 2017

What does this PR do?

Fixes prefixing of workspace symbol requests.

What issues does this PR fix or reference?

#6090

Signed-off-by: Thomas Mäder <tmader@redhat.com>
@codenvy-ci
Copy link

Can one of the admins verify this patch?

@tsmaeder tsmaeder added the status/code-review This issue has a pull request posted for it and is awaiting code review completion by the community. label Sep 1, 2017
@codenvy-ci
Copy link

Can one of the admins verify this patch?

@tsmaeder tsmaeder merged commit 388cc95 into eclipse-che:master Sep 5, 2017
@slemeur slemeur added kind/enhancement A feature request - must adhere to the feature request template. and removed status/code-review This issue has a pull request posted for it and is awaiting code review completion by the community. labels Sep 28, 2017
@slemeur slemeur added this to the 5.18.0 milestone Sep 28, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/enhancement A feature request - must adhere to the feature request template.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants