From 62cf04f5022953542540ab0d1a3dca4aae9adf18 Mon Sep 17 00:00:00 2001
From: Max Horn
Date: Fri, 10 May 2019 12:12:05 +0200
Subject: CREDITS: mark Vicent Marti as retired

He was last active in 2009 and has long moved on to work on other things.
---
 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 968a24281e..696888731e 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", "");
+				add_person("Vicent Marti", "tanoku", "(retired)");
 				add_person("Eugene Sandulenko", "sev", "");
 				add_person("Johannes Schickel", "LordHoto", "(retired)");
 			end_section();
-- 
cgit v1.2.3