From 2780ed7e92fcd08680d17b6549e6e2b8d5dcdbda Mon Sep 17 00:00:00 2001 From: Christoph Date: Mon, 26 Aug 2019 08:41:09 +0200 Subject: [PATCH] Add end date of Joerg's JabRef career I think this is better than removing. --- DEVELOPERS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/DEVELOPERS b/DEVELOPERS index b0f72b6de06..857a93e63de 100644 --- a/DEVELOPERS +++ b/DEVELOPERS @@ -1,5 +1,5 @@ Oliver Kopp (since 2011) -Jörg Lenhard (since 2015) +Jörg Lenhard (since 2015 - 2019) Stefan Kolb (since 2015) Matthias Geiger (since 2015) Tobias Diez (since 2015)