[PATCH] Point FAQ to users list instead of dev list

Since the front page of the issue tracker has been changed to point to the
users list, I thougth the patch below to be appropriate.
Can someone give a yes or no, please ... ?

Index: project_faq.html
===================================================================
--- project_faq.html (revision 7829)
+++ project_faq.html (working copy)
@@ -339,8 +339,8 @@
 <h3>I have other questions. Where can I get more<a
 name="more-information"> information?</a></h3>
  
-<p>Please send your questions or concerns to the Subversion Development <a
-href="mailto:dev@subversion.tigris.org">mailing list</a>. Alternatively,
+<p>Please send your questions or concerns to the Subversion Users <a
+href="mailto:users@subversion.tigris.org">mailing list</a>. Alternatively,
 several Subversion users and developers can usually be contacted via IRC on
 channel #svn on <a
 href="http://www.openprojects.net">irc.openprojects.net</a>.</p>

-- 
GMX Weihnachts-Special: Seychellen-Traumreise zu gewinnen!
Rentier entlaufen. Finden Sie Rudolph! Als Belohnung winken
tolle Preise. http://www.gmx.net/de/cgi/specialmail/
+++ GMX - die erste Adresse für Mail, Message, More! +++
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@subversion.tigris.org
For additional commands, e-mail: dev-help@subversion.tigris.org