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