From e02e3aa10c02db526432d12d6672094d8d942d74 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Mon, 16 Jan 2017 08:30:32 +0100
Subject: Removed duplicate name in authors

---
 MANUAL.txt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/MANUAL.txt b/MANUAL.txt
index 171f55955..3b8ac2b85 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -4111,7 +4111,6 @@ Justin Bogner,
 Jérémy Bobbio,
 Kelsey Hightower,
 Kolen Cheung,
-KolenCheung,
 Konstantin Zudov,
 Kristof Bastiaensen,
 Lars-Dominik Braun,
-- 
cgit v1.2.3