Re: autoconf-2.69

[Paul Eggert]

On 9/10/19 1:25 AM, Ondrej Dubaj wrote:
Is everything OK with the patch?

Yes, it looks good. I installed it in autoconf master, after redoing the commit 
message to explain the patch in a bit more detail. Thanks for the patch.