Pin mike at version 0.5.1 (arduino#729)

Massimiliano Pippi · web-flow · commit ae41268c3c2b · 2020-05-29T19:24:09.000+02:00
diff --git 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
+click<7.2
