diff options
| author | Théo Zimmermann | 2017-10-11 16:51:54 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2017-10-18 14:41:24 +0200 |
| commit | b28c81c2a64494f816d3d4ef5bfb56f33500e9d9 (patch) | |
| tree | 2b845c3b5d42e3ead90eef20718b4a0c4f84e442 /README.md | |
| parent | 354ee7d67efda8624cb46e942f2a41211cadd030 (diff) | |
Moving to GitHub issues.
This commit adds an issue template asking for version and OS information
and adapts the contributing guide to the change of bug tracker.
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -42,7 +42,7 @@ For any questions/suggestions about the Coq Club, please write to `coq-club-request@inria.fr`. ## Bugs report -Send your bug reports by filling a form at [coq.inria.fr/bugs](http://coq.inria.fr/bugs). +Please report any bug in [our issue tracker](https://github.com/coq/coq/issues). To be effective, bug reports should mention the OCaml version used to compile and run Coq, the Coq version (`coqtop -v`), the configuration |