Commit 40c2a403 authored by Cosimo Cecchi's avatar Cosimo Cecchi Committed by Marco Trevisan

search: reload search providers when installed applications change

Otherwise, a shell restart will be required after installing a new
application, before its results can be seen in search.

parent 238b87d3
Pipeline #85071 passed with stages
in 3 minutes and 49 seconds