From c9123c63625f4f8d6afdbb821461bc99462d3ff2 Mon Sep 17 00:00:00 2001 From: Pedro Algarvio Date: Mon, 5 Feb 2018 17:46:49 +0000 Subject: [PATCH] Add name to AUTHORS --- AUTHORS | 1 + 1 file changed, 1 insertion(+) diff --git a/AUTHORS b/AUTHORS index 583fa6f9e18..d3244dfe378 100644 --- a/AUTHORS +++ b/AUTHORS @@ -148,6 +148,7 @@ Omar Kohl Omer Hadari Patrick Hayes Paweł Adamczak +Pedro Algarvio Pieter Mulder Piotr Banaszkiewicz Punyashloka Biswal