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

COMP: bold text for keyword completion element #4255

Merged
merged 1 commit into from Aug 14, 2019
Merged

COMP: bold text for keyword completion element #4255

merged 1 commit into from Aug 14, 2019

Conversation

Undin
Copy link
Member

@Undin Undin commented Aug 13, 2019

No description provided.

@Undin Undin added the fix Pull requests that fix some bug(s) label Aug 13, 2019
@Undin Undin added this to the v104 milestone Aug 13, 2019
@Undin Undin added this to In Progress in To test via automation Aug 13, 2019
mchernyavsky
mchernyavsky approved these changes Aug 13, 2019
View reviewed changes
Copy link
Member

@mchernyavsky mchernyavsky left a comment

Choose a reason for hiding this comment

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

bors r+

bors bot added a commit that referenced this pull request Aug 13, 2019
@bors @Undin
Merge #4255
ec7591c 
4255: COMP: bold text for keyword completion element r=mchernyavsky a=Undin



Co-authored-by: Arseniy Pendryak <a.pendryak@yandex.ru>
@bors
Copy link
Contributor

bors bot commented Aug 14, 2019

Build succeeded

@bors bors bot merged commit 99f5002 into master Aug 14, 2019
To test automation moved this from In Progress to Test Aug 14, 2019
@bors bors bot deleted the bold-completion branch August 14, 2019 00:12
@lancelote lancelote moved this from Test to Done in To test Aug 21, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mchernyavsky mchernyavsky mchernyavsky approved these changes

Assignees
No one assigned
Labels
fix Pull requests that fix some bug(s)
Projects
To test
  
Done
Milestone
v104
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@Undin @mchernyavsky