> On 02 Nov 2015, at 19:18, Neels Hofmeyr <[email protected]> wrote: > > > > I personally find it mildly ugly, but let's avoid the discussion. > > To reiterate, I'd like to know whether gtphub should/really must ;) be > changed to the latter style.
yes.
