ping.

On 2024-05-03 3:53 p.m., Brad Smith wrote:
> ping.
>
> On 2024-04-26 10:14 p.m., Brad Smith wrote:
>> Here is a port for GNU autoconf 2.72.
>>
>> https://lists.gnu.org/archive/html/autotools-announce/2023-12/msg00003.html 
>>