From 07bfa8ce4aa59b71207fb9fad3ba7712cfc144ab Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Wed, 8 Mar 2023 11:16:40 -0700 Subject: [PATCH] Docs: Sync dev-platforms --- docs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs b/docs index 239b55f2..b33e6c03 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit 239b55f227a05e805c125462697727112829f9d1 +Subproject commit b33e6c03121dff17222d93331e5ad8d6ca7f3f7a