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) Tobias Rzepka (@TobiasRzepka) +micbou (@micbou) Note: (@user) means a github user name.