GH-7772: Fixed issue with filtered group options. #8013

Closed

kittaakos wants to merge 3 commits intomasterfrom quick-open-groups

+118-5

Commits on Jun 15, 2020

Added example for quick-open groups.
Akos Kitta
committed
GH-7772 : Fixed issue with filtered group options.
Akos Kitta
committed

Commits on Jun 16, 2020

[drop-me]: Use a non-empty string prefix.
Akos Kitta
committed