Skip to content

Conversation

@manosim
Copy link
Member

@manosim manosim commented Dec 9, 2015

No description provided.

@manosim manosim added the release Release label Dec 9, 2015
manosim pushed a commit that referenced this pull request Dec 9, 2015
@manosim manosim merged commit 57b31dc into master Dec 9, 2015
@manosim manosim deleted the settings-hide-search branch December 9, 2015 18:14
@manosim manosim added this to the Release 0.0.19 milestone Dec 9, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release Release

Development

Successfully merging this pull request may close these issues.

2 participants