From: Dmitry Selyutin Date: Tue, 22 Aug 2017 20:56:17 +0000 (+0300) Subject: Merge branch 'master' of git.sv.gnu.org:/srv/git/gnulib into pygnulib X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=2404b351d5632381105f4857c64688cb163d8533;p=gnulib.git Merge branch 'master' of git.sv.gnu.org:/srv/git/gnulib into pygnulib --- 2404b351d5632381105f4857c64688cb163d8533