On Wed, Jun 13, 2018 at 8:09 PM, Filipp Gunbin <fgunbin@fastmail.fm> wrote:

> Hi João,
>
> On 10/06/2018 12:39 +0100, João Távora wrote:
>
> > In the newer version it doesn't say that, but even in that version I am
> > pretty sure that `make-timer' was a lambda that checks the `timer`
> > variable before actually making one.
>
> No, that version didn't check the `timer' var inside the lambda..
>

Hmmm. Well anyway it does now.  But really thanks for the
close attention.

João