summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/openocd.texi6
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/openocd.texi b/doc/openocd.texi
index 7281d717..cc0edf8d 100644
--- a/doc/openocd.texi
+++ b/doc/openocd.texi
@@ -152,7 +152,11 @@ PDF form is likewise published at:
@section OpenOCD User's Forum
-There is an OpenOCD forum (phpBB) hosted by SparkFun:
+There is an OpenOCD forum (phpBB) hosted by SparkFun,
+which might be helpful to you. Note that if you want
+anything to come to the attention of developers, you
+should post it to the OpenOCD Developer Mailing List
+instead of this forum.
@uref{http://forum.sparkfun.com/viewforum.php?f=18}