Completed
Push — fix/instant-search-options ( 38fc97 )
by
unknown
06:17
created

No notable changes

There were no notable changes in the changeset which was inspected.

4.89
▶   ± 0
Head
Greg Ichneumon Brown  
Hook up widget options to instant search.
Base
Greg Ichneumon Brown  
Instant Search: Clean up some design bugs/issues (#13721)