Skip to content

Clarify global search message#1815

Merged
ssalinas merged 1 commit intomasterfrom
search_tip
Jul 16, 2018
Merged

Clarify global search message#1815
ssalinas merged 1 commit intomasterfrom
search_tip

Conversation

@ssalinas
Copy link
Member

@ssalinas ssalinas commented Jul 2, 2018

No description provided.

@ssalinas ssalinas added this to the 0.21.0 milestone Jul 9, 2018
@pschoenfelder
Copy link
Contributor

🚢

@ssalinas ssalinas merged commit 20376da into master Jul 16, 2018
@ssalinas ssalinas deleted the search_tip branch July 16, 2018 12:22
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.

2 participants