On Mon, May 25, 2015 at 11:26 PM, Julian Foad <[email protected]> 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. -- Stefan^2.
