From 459600e50779637d9caa244c9e2853009e28b9de Mon Sep 17 00:00:00 2001 From: Hajime Hoshi Date: Mon, 18 Jun 2018 00:42:56 +0900 Subject: [PATCH] Add Philipp Steinhaus to AUTHORS --- AUTHORS | 1 + 1 file changed, 1 insertion(+) diff --git a/AUTHORS b/AUTHORS index 367c1cdb2..9e6cb5efb 100644 --- a/AUTHORS +++ b/AUTHORS @@ -12,5 +12,6 @@ Jake Coffman Jeremy Jackins Josh Deprez Martin Lindhe +Philipp Steinhaus <40324631+PSteinhaus@users.noreply.github.com> seebs Siim Põder