diff --git a/AUTHORS b/AUTHORS index 9ad40e13..5b293d7f 100644 --- a/AUTHORS +++ b/AUTHORS @@ -63,3 +63,4 @@ Frédéric Dalleau Paavo Leinonen Jan Luebbe Antoine Reversat +Patrick Porlan