On Nov 7, 2013, at 9:47 AM, Richard Sandiford <rdsandif...@googlemail.com> wrote: > Get the new port building on wide-int. Seemed pretty obvious so I went > ahead and installed it.
Looks good.
- [wide-int, committed] Fix nds32 build Richard Sandiford
- Re: [wide-int, committed] Fix nds32 build Mike Stump
