]> Savannah Git Hosting - gnulib.git/commitdiff
merge master into pygnulib
authorDmitry Selyutin <ghostmansd@gmail.com>
Mon, 21 Aug 2017 20:19:21 +0000 (23:19 +0300)
committerDmitry Selyutin <ghostmansd@gmail.com>
Mon, 21 Aug 2017 20:19:21 +0000 (23:19 +0300)

Trivial merge