[arch-commits] Commit in (gnome-search-tool)

[Jan Steffens via arch-commits]

    Date: Sunday, August 25, 2019 @ 20:58:27
  Author: heftig
Revision: 361182

extra2community: Moving gnome-search-tool from extra to community

Deleted:
  gnome-search-tool/