Hello,
gentle ping. Is everything OK with the patch? Should I rebase it? If you
have any concerns please let me know.
Thank you. Regards
Ondrej Dubaj
On Wed, Aug 28, 2019 at 8:01 AM Ondrej Dubaj wrote:
> Hello,
> sending a patch resolving issue described below
>
> https://lists.gnu.org/archive/
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.