Alexandre, that bug has now been marked as a (resolved) duplicate of this bug (https://bugzilla.gnome.org/show_bug.cgi?id=646707), which is not the same thing.
Alexandre, that bug has now been marked as a (resolved) duplicate of this bug (https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 646707), which is not the same thing.