Stefan Fuhrmann wrote:
> Julian Foad  wrote:
>> Stefan Sperling wrote:
>>> Is it worth extending the comment in the code with information from
>>> this thread?
>>
>> IMO, Yes it is worth it.
>
> O.k. Done in r1681960 and r1681965.

Thanks!

- Julian

Reply via email to