Re: [gawk-devel] MPFR thoughts

[Eric Pruitt]

GOn Mon, May 09, 2022 at 02:02:40AM -0600, arnold@skeeve.com 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.

I don't think my request to join gawk-devel is approved. What's it take
to join? I would like to take a look and understand what maintenance
entails.

Eric