From 84da9c0b4825abee124357a2b8e779965a9c7b30 Mon Sep 17 00:00:00 2001 From: Haniel Barbosa Date: Tue, 9 Apr 2019 11:14:31 -0500 Subject: [PATCH] Removing references to cvc4-bugs@... (#2945) --- README.md | 7 +++---- configure.sh | 1 - 2 files changed, 3 insertions(+), 5 deletions(-) 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 . EOF exit 0 } -- 2.30.2