From 00d8787bb85996a185370ea424d3b216d5265bc9 Mon Sep 17 00:00:00 2001
From: Pedro Algarvio <pedro@algarvio.me>
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 583fa6f9e..d3244dfe3 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