gnulib: update

This commit is contained in:
Akim Demaille
2020-05-03 11:29:35 +02:00
parent 13a1537dba
commit d7e1abe656

2
gnulib

Submodule gnulib updated: 5ec4d920e4...3db0ae5f4f