# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1030680037 0
# Node ID 95415d9788e683d666d9cc16c6a52929d1104dc4
# Parent  b0e4184605e5bb06731aac086f8983128bdda56f
Fix typo.

diff -r b0e4184605e5 -r 95415d9788e6 etc/LINUX-GNU
--- a/etc/LINUX-GNU	Thu Aug 29 22:06:26 2002 +0000
+++ b/etc/LINUX-GNU	Fri Aug 30 04:00:37 2002 +0000
@@ -68,7 +68,7 @@
 appreciating these programs, and thus being aware of GNU, which led
 people to think about the philosophical base of GNU.  Now users can
 install a unified operating system which is basically GNU, but they
-usually thing these are "Linux systems".  At first impression, a
+usually think these are "Linux systems".  At first impression, a
 "Linux system" sounds like something completely distinct from the "GNU
 system," and that is what most users think.