From 45d3207dfea6d526cce6d2e439c755f2b84de514 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Sat, 31 Jul 2021 18:48:08 +0300
Subject: [PATCH] Docs: Sync dev-platforms

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

diff --git a/docs b/docs
index ed1ae77d..f40f5dec 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit ed1ae77d1bb42c09d0ec6b4a2aff09e40280522e
+Subproject commit f40f5decd7ec15ac0b0c63c7ea48f4fd32feeee7