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.
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.