Discussion:
gnulib-tool.py: trivial fixes
(too old to reply)
Bruno Haible
2017-09-09 09:40:41 UTC
Permalink
Raw Message
Hi Dmitry,

Here are some proposed fixes for trivial issues. May I push these?

Bruno
Dmitry Selyutin
2017-09-09 09:45:55 UTC
Permalink
Raw Message
Sure, perfectly OK.

2017-09-09 12:40 GMT+03:00 Bruno Haible <***@clisp.org>:

> Hi Dmitry,
>
> Here are some proposed fixes for trivial issues. May I push these?
>
> Bruno
>
>


--
With best regards,
Dmitry Selyutin
Bruno Haible
2017-09-09 14:30:33 UTC
Permalink
Raw Message
Dmitry Selyutin wrote:
> Sure, perfectly OK.

OK, I've pushed these.
Loading...