diff options
-rw-r--r-- | doc/openocd.texi | 6 |
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} |