From: Jim Meyering <jim@meyering.net>
Date: Mon, 29 May 2000 16:23:04 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f0b682394d32f9dafd380d0b794304149dc48af1;p=pspp

*** empty log message ***
---

diff --git a/lib/ChangeLog b/lib/ChangeLog
index d0137b89b3..cf738e9f2e 100644
--- a/lib/ChangeLog
+++ b/lib/ChangeLog
@@ -1,3 +1,8 @@
+2000-05-29  Jim Meyering  <meyering@lucent.com>
+
+	* mountlist.c (read_filesystem_list) [MOUNTED_VMOUNT]: Ignore mounts
+	with the `ignore' attribute.  Based on a patch from Mark D. Roth.
+
 2000-05-22  Jim Meyering  <meyering@lucent.com>
 
 	* makepath.c: Remove old, now-unnecessary `#ifdef __MSDOS__' block.