/patch-gtk_gtksettings_c/1.21/Fri Oct 28 13:41:36 2016//
/patch-gtk_updateiconcache_c/1.1/Fri Nov  3 10:32:53 2017//
D
