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

Add community on tab in preferences #1133

Merged
merged 1 commit into from
Nov 16, 2017
Merged

Add community on tab in preferences #1133

merged 1 commit into from
Nov 16, 2017

Conversation

kazup01
Copy link
Member

@kazup01 kazup01 commented Nov 16, 2017

screen shot 0029-11-16 at 9 12 15 pm

@BoostnoteBot
Copy link
Collaborator

Please make sure to be pasted screenshots of all your changes.

@kazup01 kazup01 requested a review from sosukesuzuki November 16, 2017 12:16
@kazup01 kazup01 added the awaiting review ❇️ Pull request is awaiting a review. label Nov 16, 2017
Copy link
Member

@sosukesuzuki sosukesuzuki left a comment

Choose a reason for hiding this comment

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

LGTM😃

@kazup01 kazup01 merged commit 7380fc8 into master Nov 16, 2017
@kazup01 kazup01 deleted the add-Community-on-tab branch November 16, 2017 13:41
@kazup01
Copy link
Member Author

kazup01 commented Nov 16, 2017

Merged. Thanks @sosukesuzuki !

@kazup01 kazup01 added next release (v0.8.17) and removed awaiting review ❇️ Pull request is awaiting a review. Next Release labels Nov 16, 2017
@kohei-takata kohei-takata mentioned this pull request Nov 25, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants