Merge branch 'kill-simple-search' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Thu, 6 Feb 2020 06:38:17 +0000 (06:38 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 6 Feb 2020 06:38:17 +0000 (06:38 +0000)
Remove simple search engine

See merge request GNOME/gtk!1393


Trivial merge