On Mon, 14 Jan 2019 13:21:46 -0500 Mike Blumenkrantz
said:
Done. :)
> I would be okay with this.
>
> On Sun, Jan 13, 2019 at 3:28 PM Felipe Magno de Almeida <
> [email protected]> wrote:
>
> > On Mon, Jan 7, 2019 at 6:53 PM Xavi Artigas
> > wrote:
> > >
> > > Hello fellow EFL devs!
>
On Mon, 14 Jan 2019 13:28:57 -0500 Mike Blumenkrantz
said:
sorry about that - i think this must have crept in with other fixes i also was
doing at the time. i had a whole slew of things i was fixing that were
irritating or causing bugs, and some valgrind complaints in the process etc.
> Hi,
>
>
