From 09a44892163f85d3087e30df22f3cf28cf46b997 Mon Sep 17 00:00:00 2001
From: "allcontributors[bot]"
 <46447321+allcontributors[bot]@users.noreply.github.com>
Date: Fri, 22 Apr 2022 06:17:46 +0000
Subject: [PATCH] docs: update .all-contributorsrc [skip ci]

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

diff --git a/.all-contributorsrc b/.all-contributorsrc
index 0608e9f6..4bc93887 100644
--- a/.all-contributorsrc
+++ b/.all-contributorsrc
@@ -1135,6 +1135,15 @@
         "code",
         "doc"
       ]
+    },
+    {
+      "login": "antoson",
+      "name": "Ondrej Antos",
+      "avatar_url": "https://avatars.githubusercontent.com/u/36371990?v=4",
+      "profile": "https://github.com/antoson",
+      "contributions": [
+        "doc"
+      ]
     }
   ],
   "contributorsPerLine": 7,