From b28c81c2a64494f816d3d4ef5bfb56f33500e9d9 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 11 Oct 2017 16:51:54 +0200
Subject: 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.
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 7a430ff70e..03f24071b8 100644
--- a/README.md
+++ b/README.md
@@ -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
-- 
cgit v1.2.3