From 3fe78a831126c8187e284350bae455936aeb1dc9 Mon Sep 17 00:00:00 2001
From: tovl <tomvanleth@gmail.com>
Date: Sat, 17 Aug 2019 18:58:21 +0200
Subject: [PATCH] Add to AUTHORS.

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

diff --git a/AUTHORS b/AUTHORS
index b84fa41b0a..355a11021c 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -140,6 +140,7 @@ Also thanks to:
     * Tim Mylemans (gecko)
     * Tirili
     * Tomas Einarsson (Mesacer)
+    * Tom van Leth (tovl)
     * Tristan Keating (Kilkakon)
     * Tristan Mühlbacher (MicroBit)
     * UnknownProgrammer