Skip to content
Snippets Groups Projects

simple ui: combine search info dropdown and query time/results count

Merged Warren Gifford requested to merge jp/infobarprogresssimple into main

There are no commits yet

Push commits to the source branch or add previously merged commits to review them.

Loading