-
It's unfortunate to have to do this, but with the mix of tabs and space, plus all the random indentation this header has become very hard to read. https://bugzilla.gnome.org/show_bug.cgi?id=712754
f1829022
It's unfortunate to have to do this, but with the mix of tabs and space, plus all the random indentation this header has become very hard to read. https://bugzilla.gnome.org/show_bug.cgi?id=712754