diff --git a/AUTHORS.txt b/AUTHORS.txt index abda5916..6d22c03d 100644 --- a/AUTHORS.txt +++ b/AUTHORS.txt @@ -1,4 +1,4 @@ -Main Authors +Main Authors ============ David Halter (@davidhalter) @@ -48,5 +48,6 @@ Robin Roth (@robinro) Malte Plath (@langsamer) Anton Zub (@zabulazza) Maksim Novikov (@m-novikov) +Tobias Rzepka (@TobiasRzepka) Note: (@user) means a github user name.