/patch-gtk_gtksettings_c/1.17/Tue Nov 10 08:28:02 2015//TOPENBSD_5_9_BASE
D
