]> granicus.if.org Git - flex/commitdiff
Referred to github for issue tracking, no longer sf
authorWill Estes <westes575@gmail.com>
Mon, 18 Jan 2016 21:00:04 +0000 (16:00 -0500)
committerWill Estes <westes575@gmail.com>
Mon, 18 Jan 2016 21:00:04 +0000 (16:00 -0500)
doc/flex.texi

index 9b7d83f471f8c9e87db675b6b2db67dd394e2c98..af639f11d9b01de61a7471e2cc1051f1ff9e5c15 100644 (file)
@@ -296,8 +296,7 @@ Indices
 @cindex reporting bugs
 
 If you find a bug in @code{flex}, please report it using
-the SourceForge Bug Tracking facilities which can be found on
-@url{http://sourceforge.net/projects/flex,flex's SourceForge Page}.
+GitHub's issue tracking facility at @url{https://github.com/westes/flex/issues/}
 
 @node Introduction, Simple Examples, Reporting Bugs, Top
 @chapter Introduction