From 13e969e644a6ad23f6d326f3e4a253ae0393da9c Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 15 Jan 2016 20:29:41 +0100
Subject: Thanks Hugo, but let's remain factual.

---
 doc/refman/RefMan-pre.tex | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/doc/refman/RefMan-pre.tex b/doc/refman/RefMan-pre.tex
index e0dc496666..cb2ab5dc2f 100644
--- a/doc/refman/RefMan-pre.tex
+++ b/doc/refman/RefMan-pre.tex
@@ -1080,8 +1080,7 @@ Pierre-Marie Pédrot, Matthieu Sozeau, Arnaud Spiwack, Enrico Tassi as
 well as Bruno Barras, Yves Bertot, Frédéric Besson, Xavier Clerc,
 Pierre Corbineau, Jean-Christophe Filliâtre, Julien Forest, Sébastien
 Hinderer, Assia Mahboubi, Jean-Marc Notin, Yann Régis-Gianas, François
-Ripault, Carst Tankink. Maxime Dénès brilliantly coordinated the
-release process.
+Ripault, Carst Tankink. Maxime Dénès coordinated the release process.
 
 \begin{flushright}
 Paris, January 2015, revised December 2015,\\
-- 
cgit v1.2.3