gnulib: update

This commit is contained in:
Akim Demaille
2020-07-11 19:09:41 +02:00
parent ee86ea8839
commit 2eddbd0ac4

2
gnulib

Submodule gnulib updated: 12c89745e3...cf6d5db127