-
Sébastien Wilmet authored
See https://bugzilla.gnome.org/show_bug.cgi?id=659350 There were also a lot of remaining tabs that are now replaced by spaces.
0c67ee89
See https://bugzilla.gnome.org/show_bug.cgi?id=659350 There were also a lot of remaining tabs that are now replaced by spaces.