1 files changed, 0 insertions, 0 deletions

diff --git a/gnulib b/gnulib
-Subproject 2f40bc523412742dac387b37d70b5a7f5d8363c
+Subproject a0712c3bd924b6dcb085e7a1b7d22f0c91ae7d7