From: Dmitry Selyutin Date: Fri, 8 Sep 2017 17:55:47 +0000 (+0300) Subject: Merge branch 'master' of ssh://git.savannah.gnu.org:/srv/git/gnulib into pygnulib X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=6ce7367385f1380b702aea0da5828ac3ea34795b;p=gnulib.git Merge branch 'master' of ssh://git.savannah.gnu.org:/srv/git/gnulib into pygnulib --- 6ce7367385f1380b702aea0da5828ac3ea34795b