]> Savannah Git Hosting - gnulib.git/commitdiff
Merge branch 'master' of ssh://git.savannah.gnu.org:/srv/git/gnulib into pygnulib pygnulib
authorDmitry Selyutin <ghostmansd@gmail.com>
Fri, 8 Sep 2017 17:55:47 +0000 (20:55 +0300)
committerDmitry Selyutin <ghostmansd@gmail.com>
Fri, 8 Sep 2017 17:55:47 +0000 (20:55 +0300)

Trivial merge