]> Savannah Git Hosting - gnulib.git/commitdiff
Merge branch 'master' of git.sv.gnu.org:/srv/git/gnulib into pygnulib
authorDmitry Selyutin <ghostmansd@gmail.com>
Tue, 22 Aug 2017 20:56:17 +0000 (23:56 +0300)
committerDmitry Selyutin <ghostmansd@gmail.com>
Tue, 22 Aug 2017 20:56:17 +0000 (23:56 +0300)

Trivial merge