From ece0273b48b7ff19fff6cd82913717d86d3ffbfa Mon Sep 17 00:00:00 2001
From: Mikhail Glushenkov <mikhail.glushenkov@gmail.com>
Date: Fri, 5 May 2017 14:44:37 +0100
Subject: [PATCH] Update AUTHORS.

[ci skip]
---
 AUTHORS | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/AUTHORS b/AUTHORS
index 75db021382..9dc5119600 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -188,6 +188,7 @@ Mikhail Glushenkov       <mikhail.glushenkov@gmail.com>
 Misty De Meo             <mistydemeo@gmail.com>
 Miëtek Bak               <mietek@bak.io>
 Mohit Agarwal            <mohit@sdf.org>
+Moritz Angermann         <moritz.angermann@gmail.com>
 Moritz Kiefer            <moritz.kiefer@purelyfunctional.org>
 Nathan Howell            <nhowell@alphaheavy.com>
 Neil Mitchell            <ndmitchell@gmail.com>
@@ -217,6 +218,7 @@ Peter Trško              <peter.trsko@gmail.com>
 Phil Ruffwind            <rf@rufflewind.com>
 Philipp Schumann         <philipp.schumann@gmail.com>
 Philipp Schuster         <pschuster@uni-koblenz.de>
+Pranit Bauva             <pranit.bauva@gmail.com>
 Prayag Verma             <prayag.verma@gmail.com>
 Randy Polen              <randen@users.noreply.github.com>
 Reid Barton              <rwbarton@gmail.com>
-- 
GitLab