rtos : receive reset info

[fw/openocd] / BUGS

diff --git a/BUGS b/BUGS
index 36a7da376f05af4743838bdad2fe44a5fba7fd56..2ed8bf627062f4151b1a46ed2f07e3f039cf01e1 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -4,7 +4,13 @@
 Please report bugs by subscribing to the OpenOCD mailing list and
 posting a message with your report:
 
 Please report bugs by subscribing to the OpenOCD mailing list and
 posting a message with your report:
 

-       openocd-development@lists.berlios.de
+       openocd-devel@lists.sourceforge.net
+
+Also, please check the Trac bug database to see if a ticket for
+the bug has already been opened.  You might be asked to open
+such a ticket, or to update an existing ticket with more data.
+
+       https://sourceforge.net/apps/trac/openocd/

 
 To minimize work for OpenOCD developers, you should try to include
 all of the information listed below.  If you feel that some of the
 
 To minimize work for OpenOCD developers, you should try to include
 all of the information listed below.  If you feel that some of the