X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=blobdiff_plain;f=BUGS;h=5e640e75830316880742dec01d9046facc8b8b06;hp=36a7da376f05af4743838bdad2fe44a5fba7fd56;hb=6df10184f654cb235b270c49fd12486ec8c59882;hpb=c1cb20971ea89e4602bb23ba66180d647880bbef

diff --git a/BUGS b/BUGS
index 36a7da376f..5e640e7583 100644
--- a/BUGS
+++ b/BUGS
@@ -6,6 +6,12 @@ posting a message with your report:
 
 	openocd-development@lists.berlios.de
 
+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
 items below are unnecessary for a clear bug report, you may leave