From: Sergey Poznyakoff <gray@gnu.org.ua>
Date: Thu, 5 Jul 2007 08:44:59 +0000 (+0000)
Subject: Update
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a70de02d74137440f7f9dd62f2bca9820ac99834;p=pspp

Update
---

diff --git a/ChangeLog b/ChangeLog
index ec8b45fd1a..dce04db7fb 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2007-07-05  Sergey Poznyakoff  <gray@gnu.org.ua>
+
+	* build-aux/bootstrap (TP_URL,get_translations): Update to use
+	the new TP address.
+	(usage): Fix typo
+	(gnulib_mk): New variable.
+
 2007-07-05  Jim Meyering  <jim@meyering.net>
 
 	Don't let endgrent clobber errno, no matter how improbable.