gnulib: update

This commit is contained in:
Akim Demaille
2020-07-04 11:43:41 +02:00
parent 156e548341
commit 203f7230ec

2
gnulib

Submodule gnulib updated: d8a8fb3423...845d69187a