From ea3e39642710a685901fd96d9c6448c2e99568fa Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 18 Sep 2020 16:30:09 +0200 Subject: [PATCH] * AUTHORS: Add Philipp. --- AUTHORS | 1 + 1 file changed, 1 insertion(+) diff --git a/AUTHORS b/AUTHORS index dc0092a3b..b9b029f9c 100644 --- a/AUTHORS +++ b/AUTHORS @@ -20,6 +20,7 @@ Henrich Lauko Jérôme Dubois Laurent Xu Maximilien Colange +Philipp Schlehuber Pierre Parutto Rachid Rebiha Souheib Baarir