From de3c9a99542d7f28ea23761d492715d9fe65e2ab Mon Sep 17 00:00:00 2001
From: DavidSpek <vanderspek.david@gmail.com>
Date: Wed, 3 Feb 2021 16:43:12 +0100
Subject: [PATCH] add myself as author

---
 AUTHORS | 1 +
 1 file changed, 1 insertion(+)

diff --git a/AUTHORS b/AUTHORS
index dd1b978f2..8f44174a4 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -22,3 +22,4 @@ Kostis Lolos <klolos@arrikto.com>
 Stefano Fioravanzo <stefano@arrikto.com> <stefano.fioravanzo@gmail.com>
 Tasos Alexiou <tasos@arrikto.com>
 Valerio Maggio <valerio.maggio@bristol.ac.uk>
+David van der Spek <vanderspek.david@gmail.com>