[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] MPFR rounding issue
|
From: |
Andrew J. Schorr |
|
Subject: |
Re: [bug-gawk] MPFR rounding issue |
|
Date: |
Tue, 21 Nov 2017 10:37:30 -0500 |
|
User-agent: |
Mutt/1.5.21 (2010-09-15) |
Hi,
On Tue, Nov 21, 2017 at 08:15:40AM -0700, address@hidden wrote:
> Let's push that to gawk-4.2-stable. I'll get it to the other branches.
Done. I also patched doc/gawk.1 and the comment in mpfr.c.
I see that the Italian translation will need to be patched, since
"roundTiesToAway" appears in there.
Regards,
Andy
- [bug-gawk] (no subject), David Kaspar [Dee'Kej], 2017/11/20
- Re: [bug-gawk] (no subject), David Kaspar [Dee'Kej], 2017/11/20
- Re: [bug-gawk] MPFR rounding issue, Andrew J. Schorr, 2017/11/20
- Re: [bug-gawk] MPFR rounding issue, david kerns, 2017/11/20
- Re: [bug-gawk] MPFR rounding issue, Andrew J. Schorr, 2017/11/20
- Re: [bug-gawk] MPFR rounding issue, arnold, 2017/11/20
- Re: [bug-gawk] MPFR rounding issue, Andrew J. Schorr, 2017/11/20
- Re: [bug-gawk] MPFR rounding issue, David Kaspar [Dee'Kej], 2017/11/21
- Re: [bug-gawk] MPFR rounding issue, Andrew J. Schorr, 2017/11/21
- Re: [bug-gawk] MPFR rounding issue, arnold, 2017/11/21
- Re: [bug-gawk] MPFR rounding issue,
Andrew J. Schorr <=
- Re: [bug-gawk] MPFR rounding issue, arnold, 2017/11/21