From ba040ba2ba0488f15495783b32af20d1b3e07bf8 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Sat, 14 Mar 2020 20:32:42 +0200 Subject: [PATCH] Docs: Workaround for ReadTheDocs bug --- docs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs b/docs index fe9f6afa..84da8178 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit fe9f6afa8cc5d46b32c4ab4febff5fb48207c83e +Subproject commit 84da8178824381422fde455caf23624a1848da3a