X-Git-Url: https://review.openocd.org/gitweb?a=blobdiff_plain;f=doc%2Fopenocd.texi;h=c5975c9d3fc8f381f7777b83c345ad13e91d89a5;hb=03b190522330093db55e2268392ae9f291f6aa0e;hp=203a15db40a57c4e9293ab6a2b44c87c77e8b1f2;hpb=fd25b3bcd1ccde5ae4dc7e94a0ad3863ee016555;p=openocd.git

diff --git a/doc/openocd.texi b/doc/openocd.texi
index 203a15db40..c5975c9d3f 100644
--- a/doc/openocd.texi
+++ b/doc/openocd.texi
@@ -288,12 +288,11 @@ communication between developers:
 
 @uref{https://lists.sourceforge.net/mailman/listinfo/openocd-devel}
 
-@section OpenOCD Bug Database
+@section OpenOCD Bug Tracker
 
-During the 0.4.x release cycle the OpenOCD project team began
-using Trac for its bug database:
+The OpenOCD Bug Tracker is hosted on SourceForge:
 
-@uref{https://sourceforge.net/apps/trac/openocd}
+@uref{https://sourceforge.net/p/openocd/tickets/}
 
 
 @node Debug Adapter Hardware