Re: gnulib-tool.py: trivial fixes

2017-09-09 Thread Bruno Haible
Dmitry Selyutin wrote: > Sure, perfectly OK. OK, I've pushed these.

Re: gnulib-tool.py: trivial fixes

2017-09-09 Thread Dmitry Selyutin
Sure, perfectly OK. 2017-09-09 12:40 GMT+03:00 Bruno Haible : > Hi Dmitry, > > Here are some proposed fixes for trivial issues. May I push these? > > Bruno > > -- With best regards, Dmitry Selyutin

gnulib-tool.py: trivial fixes

2017-09-09 Thread Bruno Haible
Hi Dmitry, Here are some proposed fixes for trivial issues. May I push these? Bruno >From d33ea821528592e87bb85de6059710ccf869 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Sat, 9 Sep 2017 00:38:56 +0200 Subject: [PATCH 02/16] gnulib-tool.py: Bump copyright years up to