gnulib: update

This commit is contained in:
Paul Eggert
2017-09-16 13:42:15 -07:00
parent 8bf276d820
commit 1ee41a50d9

2
gnulib

Submodule gnulib updated: 5bb169c3be...25ca8d5fac