Merge branch 'master' of git.sv.gnu.org:/srv/git/gnulib into pygnulib
authorDmitry Selyutin <ghostmansd@gmail.com>
Sat, 2 Sep 2017 10:09:41 +0000 (13:09 +0300)
committerDmitry Selyutin <ghostmansd@gmail.com>
Sat, 2 Sep 2017 10:09:41 +0000 (13:09 +0300)

Trivial merge