Date: Thursday, January 4, 2018 @ 09:37:29 Author: bpiotrowski Revision: 314020 extra2community: Moving gnome-icon-theme-extras from extra to community Deleted: gnome-icon-theme-extras/