Re: [code] Small addition to snippets

From: Mitchell <>
Date: Mon, 12 Nov 2018 12:32:35 -0500 (EST)

Hi Pedro,

On Mon, 12 Nov 2018, Pedro Andres Aranda Gutierrez wrote:

> You see... I’m very lazy, so I trigger thede things... ;-)
> I’ve just tried and yep, seems to be enough

Okay, I've pushed a fix. Thanks for the report.


You are subscribed to
To change subscription settings, send an e-mail to
To unsubscribe, send an e-mail to
Received on Mon 12 Nov 2018 - 12:32:35 EST

This archive was generated by hypermail 2.2.0 : Tue 13 Nov 2018 - 06:50:44 EST