On Nov 9, 2013, at 2:28 AM, Richard Sandiford <rdsandif...@googlemail.com> 
wrote:
> Avoid some unnecessary "wide_int (x)"s and make more use of wi::.

> OK to install?

Nice.  Ok.

Reply via email to