diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2017-08-21 10:06:02 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2017-08-21 10:11:47 -0700 |
| commit | 2e9366d3a9044742f41d254bedfa72b60a217551 (patch) | |
| tree | 3fe896dd141cc311078a412f67a2d01007f1f740 /README | |
| parent | 33ca2a3f2359493a9154a229a30ad3aa3a21f2aa (diff) | |
Change Bugzilla urls to Github issues.
Diffstat (limited to 'README')
| -rw-r--r-- | README | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -37,7 +37,7 @@ We are always happy to hear feedback from our users: http://cvc4.stanford.edu/#Technical_Support. * if you need to report a bug with CVC4, or make a feature request, - please visit our bugtracker at http://cvc4.cs.stanford.edu/bugs/ or + please visit our bugtracker at https://github.com/CVC4/CVC4/issues or write to the cvc-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. |