From: Jim Meyering <meyering@redhat.com>
Date: Sat, 20 Oct 2007 14:25:00 +0000 (+0200)
Subject: Change xprintf's license to GPL.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6c1eb9f212baf1259dc6495a24847a46a425e433;p=pspp

Change xprintf's license to GPL.

* modules/xprintf (License): s/LGPL/GPL/, since this module
depends on modules (exit and exitfail) which are GPL.
Suggestion from Bruno Haible.
---

diff --git a/ChangeLog b/ChangeLog
index 159f69efbf..139a2f6c63 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
 2007-10-20  Jim Meyering  <meyering@redhat.com>
 
+	Change xprintf's license to GPL.
+	* modules/xprintf (License): s/LGPL/GPL/, since this module
+	depends on modules (exit and exitfail) which are GPL.
+	Suggestion from Bruno Haible.
+
 	xprintf fixes.
 	* lib/xprintf.c (xprintf, xfprintf): Use va_end.
 	Use a clearer diagnostic.
diff --git a/modules/xprintf b/modules/xprintf
index 6459f233f8..b21252f702 100644
--- a/modules/xprintf
+++ b/modules/xprintf
@@ -21,7 +21,7 @@ Include:
 "xprintf.h"
 
 License:
-LGPL
+GPL
 
 Maintainer:
 Jim Meyering