From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Tue, 9 Apr 2019 16:14:31 +0000 (-0500)
Subject: Removing references to cvc4-bugs@... (#2945)
X-Git-Tag: cvc5-1.0.0~4184
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=84da9c0b4825abee124357a2b8e779965a9c7b30;p=cvc5.git

Removing references to cvc4-bugs@... (#2945)
---

diff --git a/README.md b/README.md
index 63e91fdc5..8f38f9004 100644
--- a/README.md
+++ b/README.md
@@ -67,10 +67,9 @@ We are always happy to hear feedback from our users:
 
 * if you need to report a bug with CVC4, or make a feature request, please
   visit our bugtracker at our
-  [GitHub issues](https://github.com/CVC4/CVC4/issues) page or write to the
-  cvc4-bugs@cs.stanford.edu mailing list.  We are very grateful for bug reports,
-  as they help us improve CVC4, and patches are generally reviewed and accepted
-  quickly.
+  [GitHub issues](https://github.com/CVC4/CVC4/issues) page. We are very
+  grateful for bug reports,  as they help us improve CVC4, and patches are
+  generally reviewed and accepted quickly.
 
 * if you are using CVC4 in your work, or incorporating it into software of your
   own, we'd like to invite you to leave a description and link to your
diff --git a/configure.sh b/configure.sh
index e53d8caa7..9bf33ae8a 100755
--- a/configure.sh
+++ b/configure.sh
@@ -74,7 +74,6 @@ Optional Path to Optional Packages:
   --lfsc-dir=PATH          path to top level of LFSC source tree
   --symfpu-dir=PATH        path to top level of SymFPU source tree
 
-Report bugs to <cvc4-bugs@cs.stanford.edu>.
 EOF
   exit 0
 }