On 2 February 2015 at 21:37, Richard Henderson <r...@twiddle.net> wrote: > On 02/02/2015 12:31 PM, Peter Maydell wrote: >> -void float_raise( int8 flags STATUS_PARAM ) >> +void float_raise(int8 flags , float_status *status) > > Extra space before comma.
Thanks, fixed. I don't propose to send out a respin just for that. -- PMM