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.

Reply via email to