5 Nov
2015
5 Nov
'15
12:29 a.m.
On Mon, Nov 02, 2015 at 08:20:39PM +0100, Holger Freyther wrote:
heh, was actually just four places in gtphub. And the script fixed five
others elsewhere while at it, sent in a separate patch mail.
~Neels
On 02 Nov 2015, at 19:18, Neels Hofmeyr
<nhofmeyr(a)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.