From: Jim Meyering <jim@meyering.net>
Date: Thu, 30 Nov 2000 20:36:08 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c89b16ff669b0b7f7146a365a8bbc8c6f1d52b5d;p=pspp

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

diff --git a/m4/ChangeLog b/m4/ChangeLog
index 1fb049515c..db84091b66 100644
--- a/m4/ChangeLog
+++ b/m4/ChangeLog
@@ -1,6 +1,6 @@
 2000-11-30  Jim Meyering  <meyering@lucent.com>
 
-	* jm-macros.m4 (jm_MACROS): Add stdint.h to the list of headers.
+	* jm-macros.m4 (jm_MACROS): Check for stdint.h.
 
 2000-11-30  Jim Meyering  <meyering@lucent.com>