diff --git a/AUTHORS b/AUTHORS index 65758bc21d2..0ddeae8b645 100644 --- a/AUTHORS +++ b/AUTHORS @@ -312,6 +312,7 @@ Peter Schops Philip Chimento Philipp Kloke Pierre Schweitzer +Pieter Duchi Pino Toscano Pranav Khanna Radek Jarecki