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)
commit2f369b6d7a008f41620ea0233370d76046bd736a
tree9bbb389bc3c7673c69bd73ced3871bcafdad83a0
parent8703c7b7acf351f957b8702855cff975a086c23b
parent79c8a16b8d293a7a52e55ff0a5d165607e591bd8
Merge branch 'kill-simple-search' into 'master'

Remove simple search engine

See merge request GNOME/gtk!1393