Skip to content

Fix help menu not opening from 'search' hint#2230

Merged
jpellizzari merged 2 commits intomasterfrom 2227-search-helpFeb 13, 2017

Commits

Commits on Feb 13, 2017