From edc7df517c957d26a71c133191126538b0f13980 Mon Sep 17 00:00:00 2001
From: Dmitriy Novozhilov <dmitriy.novozhilov@jetbrains.com>
Date: Fri, 14 Jul 2023 16:10:37 +0300
Subject: [PATCH] Revert "Advance bootstrap to 1.9.20-dev-6571"

This reverts commit 4797d3083786a3173e7d752ac597c14a5b0c937b.
---
 .idea/kotlinc.xml | 2 +-
 gradle.properties | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.idea/kotlinc.xml b/.idea/kotlinc.xml
index ac143e292a1..a82a13af881 100644
--- a/.idea/kotlinc.xml
+++ b/.idea/kotlinc.xml
@@ -9,6 +9,6 @@
     <option name="additionalArguments" value="-version -Xallow-kotlin-package -Xskip-metadata-version-check" />
   </component>
   <component name="KotlinJpsPluginSettings">
-    <option name="version" value="1.9.20-dev-6571" />
+    <option name="version" value="1.9.20-dev-5788" />
   </component>
 </project>
diff --git a/gradle.properties b/gradle.properties
index 78a3289e985..da6684b7a0e 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -34,7 +34,7 @@ kotlin.build.gradlePlugin.version=0.0.39
 #maven.repository.mirror=http://repository.jetbrains.com/remote-repos/
 #bootstrap.kotlin.repo=https://maven.pkg.jetbrains.space/kotlin/p/kotlin/bootstrap
 #bootstrap.kotlin.version=1.1.50-dev-1451
-bootstrap.kotlin.default.version=1.9.20-dev-6571
+bootstrap.kotlin.default.version=1.9.20-dev-5788
 
 kotlin.build.publishing.attempts=20
 #signingRequired=true