Re: timevar: documentation

[Bruno Haible]

Akim Demaille wrote:
> Your patch is fine, of course.

OK, pushed.

Bruno