On Apr 24, 2014, at 2:45 PM, Richard Sandiford <rdsandif...@googlemail.com> wrote: > I committed this patch as obvious to fix the s390 build.
Looks good, thanks.
On Apr 24, 2014, at 2:45 PM, Richard Sandiford <rdsandif...@googlemail.com> wrote: > I committed this patch as obvious to fix the s390 build.
Looks good, thanks.