/patch-gtk_gtksettings_c/1.15/Tue Jul 21 17:51:30 2015//
D
