[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [gawk-devel] MPFR thoughts
From: |
arnold |
Subject: |
Re: [gawk-devel] MPFR thoughts |
Date: |
Tue, 10 May 2022 11:38:05 -0600 |
User-agent: |
Heirloom mailx 12.5 7/5/10 |
"Neil R. Ormos" <ormos-gnulists17@ormos.org> wrote:
> > I have no way to prove this, of course, except
> > by deprecating the feature and seeing what
> > happens. Nobody has volunteered to maintain the
> > feature, so (unless that changes) I will proceed
> > as planned.
>
> Thank you for the opportunity to plead the case for continued MPFR
> support and for your thoughtful replies.
You're welcome.
> I respect your position, though I wish the conclusion were a different
> one.
Thank you. I understand that. Maybe things will change between now
and 2024, and the older versions with MPFR support will remain
available.
> I also appreciate your hard work, and that of your colleagues, in
> continuing to develop and maintain Gawk.
Thank you!
Arnold
- Re: MinGw port of gawkextlib, (continued)
- Message not available
- Re: Extension packaging, Manuel Collado, 2022/05/11
- Re: Extension packaging, arnold, 2022/05/11
- Re: Extension packaging, arnold, 2022/05/10
- Re: [gawk-devel] MPFR thoughts, Neil R. Ormos, 2022/05/08
- Re: [gawk-devel] MPFR thoughts, arnold, 2022/05/09
- Re: [gawk-devel] MPFR thoughts, Eric Pruitt, 2022/05/09
- Re: [gawk-devel] MPFR thoughts, arnold, 2022/05/09
- Re: [gawk-devel] MPFR thoughts, Neil R. Ormos, 2022/05/09
- Re: [gawk-devel] MPFR thoughts,
arnold <=