X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ChangeLog;h=ccb1e5b42a99aa634e88a5f8e772e9b987d88464;hb=cce09d67890697e7d0395e5deba04b87c5f0a81a;hp=da5339d5ebbe6260d85384428a96e3f8bcabca13;hpb=5060fdedfe17e843301ac0c738e12488af467378;p=pspp

diff --git a/ChangeLog b/ChangeLog
index da5339d5eb..ccb1e5b42a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,12 @@
+2007-06-14  Ben Pfaff  <blp@gnu.org>
+
+	* Smake: Use xmalloca instead of xallocsa due to module renaming.
+	Update all uses.
+
+2007-06-06  Ben Pfaff  <blp@gnu.org>
+
+	* Smake: Add xallocsa to modules.
+
 2007-04-22  Ben Pfaff  <blp@gnu.org>
 
 	Implement model checker for testing purposes.