2 Nov
2015
2 Nov
'15
8:20 p.m.
On 02 Nov 2015, at 19:18, Neels Hofmeyr nhofmeyr@sysmocom.de 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.