From 0bf5884146f834c7b764d6da29731679627574ca Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Mon, 13 May 2019 03:29:26 -0600 Subject: [PATCH] Remove a duplicate name. --- release-tasks | 1 - 1 file changed, 1 deletion(-) diff --git a/release-tasks b/release-tasks index 1fa3b06..3c5dd0e 100644 --- a/release-tasks +++ b/release-tasks @@ -164,7 +164,6 @@ Contributors for 9.1: (updated 2019-05-12) Eldar Khattatov Alexander Knieps Uwe Köcher - Uwe Koecher Kurt Kremitzki Martin Kronbichler Dustin Kumor -- 2.39.5