X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2FChangeLog;h=c0479931cdacaf2663630d37d1a3a7ec170fc85c;hb=a9afcdd223cc1c1b7889601e405cff0bd47300d7;hp=064108a4e94daf03cdca9d65dfae7db546f01e1b;hpb=06a34a11908066ab5949d4b36c7fc5b7f44e88bb;p=pspp-builds.git

diff --git a/src/data/ChangeLog b/src/data/ChangeLog
index 064108a4..c0479931 100644
--- a/src/data/ChangeLog
+++ b/src/data/ChangeLog
@@ -1,3 +1,14 @@
+2008-05-15  Ben Pfaff  <blp@gnu.org>
+
+	Patch #6512.
+
+	* data-out.c (output_infinite): Use gsl_isnan instead of isnan,
+	and gsl_isinf instead of isinf, as a stopgap measure for
+	portability until appropriate gnulib modules are available.
+
+	* por-file-writer.c (format_trig_double): Similarly, use
+	gsl_finite instead of finite.
+
 2008-03-18  John Darrington <john@darrington.wattle.id.au>
 
 	* data-in.c: If category is custom currency, then use