Hi Darshit,
the reason is actually very simple: I just had no time to apply it due to
activities on a regular work. Hopefully I'll continue developing
gnulib-tool in the end of this week. The patch seems to be OK though; I'll
try to push it this evening. Thank you again and sorry for the delay.
It's been a while. Atleast some response on why it isn't being accepted would
be appreciated
* Darshit Shah [171113 09:07]:
> Hi,
>
> Is there something blocking this patch? It doesn't seem like it has been
> merged
> yet.
>
> * Darshit Shah