From 8d85c51a280f0b8c6068a71c803880d9ab5e769f Mon Sep 17 00:00:00 2001
From: Nick Craig-Wood <nick@craig-wood.com>
Date: Tue, 16 Jun 2020 11:41:49 +0100
Subject: [PATCH] Add Heiko Bornholdt to contributors

---
 docs/content/authors.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/content/authors.md b/docs/content/authors.md
index 71c24c353..c8c8c9bf1 100644
--- a/docs/content/authors.md
+++ b/docs/content/authors.md
@@ -384,3 +384,4 @@ put them back in again.` >}}
   * Kamil Trzciński <ayufan@ayufan.eu>
   * Zac Rubin <z-0@users.noreply.github.com>
   * Vincent Feltz <psycho@feltzv.fr>
+  * Heiko Bornholdt <bornholdt@informatik.uni-hamburg.de>