From bf8827788d1d8c0dc96b963d3c35985d8b3725c6 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Sun, 6 Nov 2016 11:48:06 +0100
Subject: Hugo's comments

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

diff --git a/doc/refman/RefMan-pre.tex b/doc/refman/RefMan-pre.tex
index 944cd48481..6ba2f850ee 100644
--- a/doc/refman/RefMan-pre.tex
+++ b/doc/refman/RefMan-pre.tex
@@ -1106,8 +1106,6 @@ over 100 contributions integrated. The main user visible changes are:
   Cyprien Mangin, Matthieu Sozeau and Arnaud Spiwack.
 \item Tactic behavior uniformization and specification, generalization
   of intro-patterns by Hugo Herbelin and others.
-\item Update of the beautifier by Hugo Herbelin, useful for switching
-  between versions.
 \item A brand new warning system allowing to control warnings, turn them
   into errors or ignore them selectively by Maxime Dénès, Guillaume
   Melquiond and others.
-- 
cgit v1.2.3