From d21dcd32142d32ada28d15b82f34b64157e3200a Mon Sep 17 00:00:00 2001
From: Mathieu Boespflug <m@tweag.io>
Date: Mon, 5 Mar 2018 07:27:43 +0100
Subject: [PATCH] Add contributor.

---
 CONTRIBUTORS | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/CONTRIBUTORS b/CONTRIBUTORS
index 403d2c55b..9b4cc87d9 100644
--- a/CONTRIBUTORS
+++ b/CONTRIBUTORS
@@ -10,5 +10,6 @@
 #     Name <email address>
 
 Mathieu Boespflug <m@tweag.io>
-Mateusz Kowalczyk <mateusz.kowalczyk@tweag.io>
 Jingwen Chen <jin@crypt.sg>
+Mark Karpov <mark.karpov@tweag.io>
+Mateusz Kowalczyk <mateusz.kowalczyk@tweag.io>