From: Paul Eggert <eggert@cs.ucla.edu>
Date: Fri, 13 May 2005 07:01:30 +0000 (+0000)
Subject: * gnulib-tool (func_import): Sort and uniquify recommended includes.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=984ebc07b58d1e49633c3787c92b7ca2c3154f97;p=pspp

* gnulib-tool (func_import): Sort and uniquify recommended includes.
---

diff --git a/ChangeLog b/ChangeLog
index ab426f0c82..af1cde6fa8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2005-05-12  Eric Blake  <ebb9@byu.net>  (tiny change)
+
+	* gnulib-tool (func_import): Sort and uniquify recommended includes.
+
 2005-05-12  Sergey Poznyakoff  <gray@Mirddin.farlep.net>
 
 	* modules/getdate (Makefile.am): Add getdate.c to EXTRA_DIST