Update : since it seems fixed since glibmm2.16 (2009) we could just remove that part
( https://bugzilla.gnome.org/show_bug.cgi?id=586626 )
Update : since it seems fixed since glibmm2.16 (2009) we could just remove that part
( https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 586626 )