Skip to content

Status bar pick #3522

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
Merged
merged 3 commits into from
Jan 24, 2017
Merged

Status bar pick #3522

merged 3 commits into from
Jan 24, 2017

Conversation

PanayotCankov
Copy link
Contributor

cherry-pick status bar fixes

@PanayotCankov PanayotCankov force-pushed the status-bar-pick branch 8 times, most recently from 15f14b1 to 18eb69b Compare January 24, 2017 11:18
@PanayotCankov PanayotCankov force-pushed the status-bar-pick branch 9 times, most recently from afd8e21 to 07a1eb8 Compare January 24, 2017 13:53
@PanayotCankov PanayotCankov merged commit 30aca89 into release Jan 24, 2017
@PanayotCankov PanayotCankov deleted the status-bar-pick branch January 24, 2017 15:50
@lock
Copy link

lock bot commented Aug 27, 2019

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@lock lock bot locked and limited conversation to collaborators Aug 27, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@hshristov hshristov hshristov approved these changes

Assignees
No one assigned
Labels
cla: yes
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@PanayotCankov @hshristov @ns-bot @zh-m