From e0566c5fea102b01964dbd4fade61edbd612f218 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Thu, 3 May 2018 12:59:21 -0700 Subject: [PATCH] maint: remove strpbrk module * bootstrap.conf (gnulib_modules): Remove obsolete module strpbrk. --- bootstrap.conf | 1 - 1 file changed, 1 deletion(-) diff --git a/bootstrap.conf b/bootstrap.conf index 48e93405c7..8c2265f95d 100644 --- a/bootstrap.conf +++ b/bootstrap.conf @@ -238,7 +238,6 @@ gnulib_modules=" strdup-posix strncat strnumcmp - strpbrk strsignal strtod strtoimax -- 2.47.2