On Oct 29, 2013, at 2:21 PM, Richard Sandiford <[email protected]> wrote: > I looked through the diff of wide-int with mainline and noticed a few > minor things to tweak.
> It all seemed pretty obvious, and the patch is long and mechanical, > so I went ahead and installed it. I reviewed it, looks good.
