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.

Sign up for GitHub

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

Jump to bottom

remove one colon from double colons in the code #5718

Merged
merged 1 commit into from
Jul 16, 2019
Merged

remove one colon from double colons in the code #5718

merged 1 commit into from
Jul 16, 2019

Conversation

kpge
Copy link
Contributor

@kpge kpge commented Jul 16, 2019

Fixes: #5711
remove one colon from double colons in the code

@kpge kpge requested review from benoitf and evidolob as code owners July 16, 2019 01:10
@kpge kpge force-pushed the gkp/remove-colon branch from 52ce057 to aab985c Compare July 16, 2019 01:11
benoitf
benoitf approved these changes Jul 16, 2019
View reviewed changes
Copy link
Contributor

@benoitf benoitf left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks @kpge

@akosyakov akosyakov merged commit da653c2 into eclipse-theia:master Jul 16, 2019
@akosyakov akosyakov mentioned this pull request Jul 16, 2019
Merged
44 tasks
@kpge kpge deleted the gkp/remove-colon branch July 16, 2019 07:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@benoitf benoitf benoitf approved these changes

@evidolob evidolob Awaiting requested review from evidolob

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

two ':' in the code of 'mask'
3 participants
@kpge @benoitf @akosyakov