summaryrefslogtreecommitdiff
path: root/ChangeLog
diff options
context:
space:
mode:
authorJim Meyering <meyering@fb.com>2018-02-03 16:57:36 -0800
committerJim Meyering <meyering@fb.com>2018-02-03 16:57:36 -0800
commit67f682f1d3b5a61e7d55db63323f1233347f8e18 (patch)
treeb2d3b99fc71530f3e74763c00678f414cb7f5d8d /ChangeLog
parentab4b1f3d4e517a0948fce56d6c0ac0995fd5133b (diff)
downloadgnulib-67f682f1d3b5a61e7d55db63323f1233347f8e18.tar.gz
maint.mk: exempt "/proc/filesystems" from "file system" syntax check
* top/maint.mk (sc_file_system): Don't complain about "/proc/filesystems".
Diffstat (limited to 'ChangeLog')
-rw-r--r--ChangeLog6
1 files changed, 6 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 56b7de8f97..340dc226c3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2018-02-03 Jim Meyering <meyering@fb.com>
+
+ maint.mk: exempt "/proc/filesystems" from "file system" syntax check
+ * top/maint.mk (sc_file_system): Don't complain about
+ "/proc/filesystems".
+
2018-02-03 Bruno Haible <bruno@clisp.org>
stdlib: Fix compilation error on OpenIndiana.