From: Wolfgang Bangerth Date: Mon, 13 May 2019 09:29:26 +0000 (-0600) Subject: Remove a duplicate name. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0bf5884146f834c7b764d6da29731679627574ca;p=release-papers.git Remove a duplicate name. --- 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