From 8648d7a47965f4b9fd185247a3638746cada631e Mon Sep 17 00:00:00 2001 From: Oswald Buddenhagen Date: Tue, 5 Jul 2022 11:40:54 +0200 Subject: [PATCH] remove duplicate contributor entry anton khirnov is already in the main section, no need to have him in the honorary section as well. on a completely unrelated note, for posterity: andreas grapentin's mention is due to commit cf13630a, where i forgot to credit him for the initial version of the patch. --- AUTHORS | 1 - 1 file changed, 1 deletion(-) diff --git a/AUTHORS b/AUTHORS index 8dc33ae..01af903 100644 --- a/AUTHORS +++ b/AUTHORS @@ -70,7 +70,6 @@ Honorary Contributors Alessandro Ghedini Andreas Grapentin -Anton Khirnov Aurélien Francillon Ben Kibbey Caspar Schutijser