From 36e587b1f6bd1ff728b98cde03ef404726f497fc Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Thu, 29 Nov 2018 06:04:36 +0100
Subject: [PATCH] gnulib: update

---
 gnulib         |  2 +-
 lib/.gitignore | 12 +-----------
 2 files changed, 2 insertions(+), 12 deletions(-)

diff --git a/gnulib b/gnulib
index b9ca447b..22693f63 160000
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit b9ca447bb912cad2fd7aeeda3784aff42f13a336
+Subproject commit 22693f63eaab748233749c957e7d853654c96cdb
diff --git a/lib/.gitignore b/lib/.gitignore
index ba01ca31..b7d7e6d2 100644
--- a/lib/.gitignore
+++ b/lib/.gitignore
@@ -291,16 +291,6 @@
 /xtime.h
 /bitset.c
 /bitset.h
-/bitset/expandable.c
-/bitset/list.c
-/bitset/array.c
-/bitset/vector.c
-/bitset/stats.c
-/bitset/list.h
-/bitset/expandable.h
-/bitset/array.h
-/bitset/vector.h
-/bitset/stats.h
-/bitset/base.h
+/bitset/
 /bitsetv.c
 /bitsetv.h