-
Josep Torra authored
Fixes warning #188: enumerated type mixed with another type reported by ICC. https://bugzilla.gnome.org/show_bug.cgi?id=656265
2271b6dc
Fixes warning #188: enumerated type mixed with another type reported by ICC. https://bugzilla.gnome.org/show_bug.cgi?id=656265