[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] MPFR rounding issue
From: |
arnold |
Subject: |
Re: [bug-gawk] MPFR rounding issue |
Date: |
Tue, 21 Nov 2017 08:54:37 -0700 |
User-agent: |
Heirloom mailx 12.4 7/29/08 |
"Andrew J. Schorr" <address@hidden> wrote:
> 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
Thanks. Antonio will take care of the Italian translation at
some point, so don't worry about it. :-)
Arnold
- Re: [bug-gawk] (no subject), (continued)
- 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, 2017/11/21
- Re: [bug-gawk] MPFR rounding issue,
arnold <=