From ec9656d8a3c58e7db6f70377112462c1ff5f2169 Mon Sep 17 00:00:00 2001
From: "allcontributors[bot]"
 <46447321+allcontributors[bot]@users.noreply.github.com>
Date: Thu, 5 Sep 2019 09:59:47 +0000
Subject: [PATCH] docs: update .all-contributorsrc

---
 .all-contributorsrc | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.all-contributorsrc b/.all-contributorsrc
index 075fc84..7b27d05 100644
--- a/.all-contributorsrc
+++ b/.all-contributorsrc
@@ -58,6 +58,15 @@
       "contributions": [
         "doc"
       ]
+    },
+    {
+      "login": "bpetetot",
+      "name": "Benjamin Petetot",
+      "avatar_url": "https://avatars3.githubusercontent.com/u/516360?v=4",
+      "profile": "https://github.com/bpetetot",
+      "contributions": [
+        "doc"
+      ]
     }
   ],
   "contributorsPerLine": 7,