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/