projects / gtk4.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bc086c5 34037c0)
Merge branch 'filesearch' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Mon, 4 Oct 2021 10:01:08 +0000 (10:01 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Mon, 4 Oct 2021 10:01:08 +0000 (10:01 +0000)
searchenginemodel: finalize search results

Closes #3546

See merge request GNOME/gtk!4028


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.