From 3661ebbb2c7b8ef45e4f5df38d57ece098251be6 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Sat, 10 Sep 2022 08:55:15 +0200
Subject: [PATCH] gnulib: update

---
 gnulib         | 2 +-
 lib/.gitignore | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/gnulib b/gnulib
index 30439c0f..71b60370 160000
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit 30439c0f94a260d63c691af49d2a0c7ec6166cc9
+Subproject commit 71b603702b8cf7977dedd5f6b71ea0ffc1669894
diff --git a/lib/.gitignore b/lib/.gitignore
index 7b32cb07..03d09956 100644
--- a/lib/.gitignore
+++ b/lib/.gitignore
@@ -213,6 +213,7 @@
 /integer_length.c
 /integer_length.h
 /integer_length_l.c
+/intprops-internal.h
 /intprops.h
 /inttypes.h
 /inttypes.in.h
@@ -365,6 +366,7 @@
 /stdalign.in.h
 /stdbool.h
 /stdbool.in.h
+/stdckdint.in.h
 /stddef.h
 /stddef.in.h
 /stdint.h