# HG changeset patch
# User diego
# Date 1039552003 0
# Node ID d40800e52617332ca4da36b9439b15c4ca93a509
# Parent  15e3d9c2c0acfdbf4d54227d92f6b191918cf0fd
10l noticed by Andras Mohari.

diff -r 15e3d9c2c0ac -r d40800e52617 DOCS/users_against_developers.html
--- a/DOCS/users_against_developers.html	Tue Dec 10 09:11:42 2002 +0000
+++ b/DOCS/users_against_developers.html	Tue Dec 10 20:26:43 2002 +0000
@@ -121,7 +121,7 @@
   about problems related to these closed-source drivers
   and their poor quality, instability and poor user and expert support.
   Some examples can be found on the
-  <A HREF=http://www.nvnews.net/vbulletin/forumdisplay.php?s=6d83dc289805c37caef49b77857a0b7e&daysprune=&forumid=27">
+  <A HREF="http://www.nvnews.net/vbulletin/forumdisplay.php?s=6d83dc289805c37caef49b77857a0b7e&daysprune=&forumid=27">
   nVidia Linux Forum</A>.
   Many of these problems/issues keep appearing repeatedly.
   We have been contacted by nVidia lately, and they said these bugs