diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2019-04-08 17:11:57 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2019-04-08 17:11:57 -0700 |
commit | 10c06247232c096e09363120a903abc6bc5b71ab (patch) | |
tree | ce42e757eb0f4fb67e748c36e148255c882c07c1 /README.md | |
parent | 30b9f4ae91c9dba12ac0d9253d71bbd21a073e04 (diff) |
Fix email address of the bugs email list and delete obsolete RELEASE-NOTES.
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -68,7 +68,7 @@ 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 - cvc-bugs@cs.stanford.edu mailing list. We are very grateful for bug reports, + 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. |