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.
Post by Bruno Haible
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
Post by Dmitry Selyutin
Sure, perfectly OK.
OK, I've pushed these.

Loading...