From ef1dfb4501fe8bb110343644f43243737e23e5aa Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Tue, 9 Dec 2014 09:36:57 +0100
Subject: refman/Omega.tex: do not advertize Pierre Cregut's email for bug
 reports

---
 doc/refman/Omega.tex | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/doc/refman/Omega.tex b/doc/refman/Omega.tex
index 213c050615..b946d03b76 100644
--- a/doc/refman/Omega.tex
+++ b/doc/refman/Omega.tex
@@ -212,11 +212,7 @@ decision procedure is only partial.
 
 \item Much too slow.
 
-\item Certainly other bugs! You can report them to
-
-\begin{quote}
-  \url{Pierre.Cregut@cnet.francetelecom.fr}
-\end{quote}
+\item Certainly other bugs! You can report them to \url{https://coq.inria.fr/bugs/}.
 
 \end{itemize}
 
-- 
cgit v1.2.3