bug-gawk
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: MinGw port of gawkextlib


From: arnold
Subject: Re: MinGw port of gawkextlib
Date: Tue, 17 May 2022 09:00:30 -0600
User-agent: Heirloom mailx 12.5 7/5/10

Eli Zaretskii <eliz@gnu.org> wrote:

> If this means you prefer a separate configure-time option for this
> MinGW-specific issue, I'm okay with that.

I've only been skimming these discussions, but this looks like the right
solution to me...

Arnold



reply via email to

[Prev in Thread] Current Thread [Next in Thread]