From 206054b35f17f84ae7d6d2b29730c217be087804 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Wed, 12 Feb 2020 23:58:39 +0200
Subject: [PATCH] Docs: Sync dev-platforms

---
 docs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs b/docs
index af3b3c42..7fffc785 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit af3b3c424a2c10fc0f6ab37eacec3ba6cbafc11c
+Subproject commit 7fffc7853ec1d2bdd3dd68cab015e0360d4b0afd