From 5c8c1ca95ce25f39467eef2001a0e204b46f7eb9 Mon Sep 17 00:00:00 2001
From: Filippos Karapetis
Date: Sun, 12 May 2019 14:20:04 +0300
Subject: Revert "CREDITS: mark Vicent Marti as retired"

This reverts commit 62cf04f5022953542540ab0d1a3dca4aae9adf18.
---
 devtools/credits.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'devtools')

diff --git a/devtools/credits.pl b/devtools/credits.pl
index 696888731e..968a24281e 100755
--- a/devtools/credits.pl
+++ b/devtools/credits.pl
@@ -1039,7 +1039,7 @@ begin_credits("Credits");
 
 			begin_section("GUI");
 				add_person("Max Horn", "Fingolfin", "(retired)");
-				add_person("Vicent Marti", "tanoku", "(retired)");
+				add_person("Vicent Marti", "tanoku", "");
 				add_person("Eugene Sandulenko", "sev", "");
 				add_person("Johannes Schickel", "LordHoto", "(retired)");
 			end_section();
-- 
cgit v1.2.3