diff --git a/AUTHORS b/AUTHORS index 9e092cccc0c7..90ff4d789be7 100644 --- a/AUTHORS +++ b/AUTHORS @@ -191,3 +191,4 @@ Rich Leeper Zhong Jianxin Thor77 Mattias Wadman +Arjan Verwer