Changed INRIA to Red Hat (for Debian)

diff --git a/COPYING.LIB b/COPYING.LIB
index 93372ad..30c2bc1 100644 (file)
--- a/COPYING.LIB
+++ b/COPYING.LIB
@@ -8,7 +8,7 @@ executable file containing portions of the Library, and distribute
 that executable file under terms of your choice, without any of the
 additional requirements listed in clause 6 of the GNU Library General
 Public License.  By "a publicly distributed version of the Library",
-we mean either the unmodified Library as distributed by INRIA, or a
+we mean either the unmodified Library as distributed by Red Hat, or a
 modified version of the Library that is distributed under the
 conditions defined in clause 2 of the GNU Library General Public
 License.  This exception does not however invalidate any other reasons