From 32e0a19d88686aa4d259a7fe993e601dc977058d Mon Sep 17 00:00:00 2001
From: Massimiliano Pippi <m.pippi@arduino.cc>
Date: Thu, 28 May 2020 10:56:04 +0200
Subject: [PATCH] Pin mike at version 0.5.1

---
 requirements_docs.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/requirements_docs.txt b/requirements_docs.txt
index 556bfb97e27..c2fb2ccf2aa 100644
--- a/requirements_docs.txt
+++ b/requirements_docs.txt
@@ -1,5 +1,5 @@
 mkdocs<1.2
 mkdocs-material<5
-mike
+mike==0.5.1
 gitpython
-click<7.2
\ No newline at end of file
+click<7.2