Merge pull request #5480 from egonw/patch-2

Removed a duplicate name (closes #5476)
JabRef · Oct 18, 2019 · aaa081d · aaa081d
2 parents bc26c3a + f90c661
commit aaa081d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/AUTHORS b/AUTHORS
@@ -56,7 +56,6 @@ Eduard Braun
 Eduardo Greco
 Egon Willighagen
 Ellen Reitmayr
-Erdem Derebasoglu
 Erdem Derebaşoğlu
 Erik Putrycz
 Ervin Kolenovic