From: Dmitry Selyutin Date: Mon, 21 Aug 2017 20:19:21 +0000 (+0300) Subject: merge master into pygnulib X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=50c5bd24c62384389787876f76aa89ea709639c0;p=gnulib.git merge master into pygnulib --- 50c5bd24c62384389787876f76aa89ea709639c0