bug-gnulib
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: gnulib-tool.py: trivial fixes

From: Dmitry Selyutin
Subject: Re: gnulib-tool.py: trivial fixes
Date: Sat, 9 Sep 2017 12:45:55 +0300
Sure, perfectly OK.

2017-09-09 12:40 GMT+03:00 Bruno Haible <address@hidden>:
Hi Dmitry,

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

Bruno




--
With best regards,
Dmitry Selyutin
reply via email to
[Prev in Thread] Current Thread [Next in Thread]