--- gtk+-3.12.0.orig/gtk/gtkselectionprivate.h	2014-06-10 09:14:53.055629108 +0200
+++ gtk+-3.12.0/gtk/gtkselectionprivate.h	2014-06-10 09:14:59.503650175 +0200
@@ -52,7 +52,7 @@
   /*< private >*/
   GList *list;
   guint ref_count;
- };
+};
 
 gboolean _gtk_selection_clear           (GtkWidget         *widget,
                                          GdkEventSelection *event);