From 49235f891014171c0fcd56c8aac996d96f94fe2e Mon Sep 17 00:00:00 2001
From: Dave Halter <davidhalter88@gmail.com>
Date: Sat, 24 Mar 2018 23:25:49 +0100
Subject: [PATCH] Add micbou to AUTHORS

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

diff --git a/AUTHORS.txt b/AUTHORS.txt
index 6d22c03d..4776d16d 100644
--- a/AUTHORS.txt
+++ b/AUTHORS.txt
@@ -49,5 +49,6 @@ Malte Plath (@langsamer)
 Anton Zub (@zabulazza)
 Maksim Novikov (@m-novikov) <mnovikov.work@gmail.com>
 Tobias Rzepka (@TobiasRzepka)
+micbou (@micbou)
 
 Note: (@user) means a github user name.