From: Dmitry Selyutin Date: Sat, 2 Sep 2017 17:54:52 +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=f0e372a594d8fe6ea18242f1a7ac9855ee6c785c;p=gnulib.git Merge branch 'master' of git.sv.gnu.org:/srv/git/gnulib into pygnulib --- f0e372a594d8fe6ea18242f1a7ac9855ee6c785c