On Fri, Oct 14, 2016 at 12:36:25PM +0200, Martin Hecht wrote:
> On 10/14/2016 12:38 AM, James Simmons wrote:
> >> This if statement wasn't intended.
> just to be sure: in conjunction with the subject of the mail this should
> read "indented" instead of "intended", right?
Yes, yes. I should just avoid both words from now on because my fingers
constantly get mixed up.
Greg already applied this so it's too late to send a v2.
devel mailing list