Merge pull request #298 from gutjuri/remove-mpir-org

remove link to mpir.org
wbhart · Sep 6, 2023 · 4b4bb36 · 4b4bb36
2 parents b3367eb + 01d632f
commit 4b4bb36
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/README b/README
@@ -85,10 +85,8 @@ the INSTALL file in this directory.
 
 			REPORTING BUGS
 
-If you find a bug in the library, please make sure to tell us about it!
-
-You should first check the MPIR web pages at http://www.mpir.org/. There will 
-be patches for all known serious bugs there.
+If you find a bug in the library, please make sure to tell us about it via
+the GitHub issue tracker!
 
 Report bugs to our development list: http://groups.google.com/group/mpir-devel.  
 What information is needed in a good bug report is described in the manual.