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

CHE-4670: update an editor tab after changing command name #5229

Merged
merged 4 commits into from
May 30, 2017
Merged

Conversation

svor
Copy link
Contributor

@svor svor commented May 29, 2017

What does this PR do?

Fixes a problem with updating an editor tab after updating command name

What issues does this PR fix or reference?

#5145

@svor svor added the kind/bug Outline of a bug - must adhere to the bug report template. label May 29, 2017
@svor svor added this to the 5.12.0 milestone May 29, 2017
@svor svor self-assigned this May 29, 2017
@svor svor requested a review from vparfonov May 29, 2017 13:21
@codenvy-ci
Copy link

Build # 2693 - FAILED

Please check console output at https://ci.codenvycorp.com/job/che-pullrequests-build/2693/ to view the results.

@svor svor merged commit 759fef5 into master May 30, 2017
@svor svor deleted the CHE-5145 branch May 30, 2017 07:22
JPinkney pushed a commit to JPinkney/che that referenced this pull request Aug 17, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/bug Outline of a bug - must adhere to the bug report template.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants