I forgot about mantis

diff --git a/doc/REPORTING_BUGS b/doc/REPORTING_BUGS
index 179e177..60c9c07 100755 (executable)
--- a/doc/REPORTING_BUGS
+++ b/doc/REPORTING_BUGS
@@ -1,4 +1,4 @@
-last changed: $Date: 2002/12/08 04:59:51 $. 2002 mir-coders
+last changed: $Date: 2002/12/08 06:04:49 $. 2002 mir-coders
 --------------------------------------------------------------------------
 
 BUG REPORTS
@@ -9,6 +9,9 @@ Where to send
 =============
 Send comments, bug reports, patches, etc. to mir-coders@lists.indymedia.org
 
+please also take the time to enter a bug in our bug-tracking system:
+
+https://prod.indymedia.nl/mantis
 
 What to send
 ============