From 2a824098c4571ea8206709b597cb20ab2ae263d8 Mon Sep 17 00:00:00 2001 From: Jens Fischer Date: Mon, 25 Mar 2024 10:29:52 +0100 Subject: [PATCH] chore: Add former contributors to the list of contributors MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit A git reset before switching to GitHub cut off their contributions. Co-authored-by: Minh Dang Co-authored-by: Manuel Heß