From: Bruno Haible <bruno@clisp.org>
Date: Sat, 26 Jan 2008 14:56:47 +0000 (+0100)
Subject: Add credits to ChangeLog entry.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=db5df761739393ed07a22f05e3f4783e20d11db9;p=pspp

Add credits to ChangeLog entry.
---

diff --git a/ChangeLog b/ChangeLog
index 9218c80310..cd79bb6ada 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -4,6 +4,7 @@
 	gl_FUNC_ISNANL_WORKS): Test the GCC >= 4.0 built-in.
 	* lib/isnanl.h (isnanl): Use the GCC >= 4.0 built-in.
 	* lib/isnanl-nolibm.h (isnanl): Likewise.
+	Reported by Paul Eggert <eggert@cs.ucla.edu>.
 
 2008-01-26  Bruno Haible  <bruno@clisp.org>