From d6e8a9ff3834d0dad7ac26683fff950f061e08bc Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 13 Feb 2020 13:52:48 +0100
Subject: Update bug report address in coqwc man page.

---
 man/coqwc.1 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'man')

diff --git a/man/coqwc.1 b/man/coqwc.1
index 4594aeecb7..eee37f3d1f 100644
--- a/man/coqwc.1
+++ b/man/coqwc.1
@@ -44,4 +44,4 @@ Do not skip headers
 .SH BUGS
 
 Please report any bug to
-.B coq\-bugs@pauillac.inria.fr
+.B https://github.com/coq/coq/issues
-- 
cgit v1.2.3