From: Jim Meyering <jim@meyering.net>
Date: Mon, 31 Jul 2000 06:50:30 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3ff49f4a29bd0c284802faac0680055e4e80a7e4;p=pspp

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

diff --git a/lib/ChangeLog b/lib/ChangeLog
index 0d216dfc36..200b41a6fb 100644
--- a/lib/ChangeLog
+++ b/lib/ChangeLog
@@ -1,3 +1,8 @@
+2000-07-31  Jim Meyering  <meyering@lucent.com>
+
+	* xmalloc.c: Use `virtual memory exhausted', not `Memory exhausted'.
+	* obstack.c (print_and_abort): Likewise.
+
 2000-07-30  Jim Meyering  <meyering@lucent.com>
 
 	* makepath.c (make_path): Quote the other instance, too.