From 1f17d1e0e647f435ec85170021a6efc00cfab63a Mon Sep 17 00:00:00 2001
From: Marcello Stanisci <stanisci.m@gmail.com>
Date: Thu, 13 Jun 2019 01:51:29 +0200
Subject: remove redundant information

---
 web/index.html | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/web/index.html b/web/index.html
index dbb075b..48dbd16 100644
--- a/web/index.html
+++ b/web/index.html
@@ -29,10 +29,9 @@
 
   <h4>Bugtrack</h4>
   <p>
-  The Twister uses Mantis for bugtracking. 
   Visit <a href="https://bugs.gnunet.org/bugs">https://bugs.gnunet.org/bugs</a>
   to report a bug.  Please make sure you report bugs
-  under Twister and not under any of the other projects.
+  under <em>Twister</em> and not under any of the other projects.
 
   <h4>Contact</h4>
   Marcello Stanisci is the Twister's maintainer; he is reachable
-- 
cgit v1.2.3