Re: [gawk-devel] MPFR thoughts

[arnold]

"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