From 6fd5b8775d1043b9530daaf7ecf1da7d5b57b5b4 Mon Sep 17 00:00:00 2001
From: Ben Liblit <liblit@acm.org>
Date: Sat, 9 Dec 2023 17:06:31 -0500
Subject: [PATCH] Upgrade to Kotlin 1.9.20

---
 .idea/.gitignore          | 1 +
 .idea/kotlinc.xml         | 6 ------
 gradle/libs.versions.toml | 2 +-
 3 files changed, 2 insertions(+), 7 deletions(-)
 delete mode 100644 .idea/kotlinc.xml

diff --git a/.idea/.gitignore b/.idea/.gitignore
index cc7e7966f9..5377c36385 100644
--- a/.idea/.gitignore
+++ b/.idea/.gitignore
@@ -2,6 +2,7 @@
 /compiler.xml
 /gradle.xml
 /jarRepositories.xml
+/kotlinc.xml
 /libraries/*.xml
 /modules.xml
 /other.xml
diff --git a/.idea/kotlinc.xml b/.idea/kotlinc.xml
deleted file mode 100644
index fdf8d994a6..0000000000
--- a/.idea/kotlinc.xml
+++ /dev/null
@@ -1,6 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="KotlinJpsPluginSettings">
-    <option name="version" value="1.9.0" />
-  </component>
-</project>
\ No newline at end of file
diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml
index 07687eb99f..5d66ac12f8 100644
--- a/gradle/libs.versions.toml
+++ b/gradle/libs.versions.toml
@@ -44,7 +44,7 @@ w3c-css-sac = "org.eclipse.birt.runtime:org.w3c.css.sac:1.3.1.v200903091627"
 [plugins]
 file-lister = "all.shared.gradle.file-lister:1.0.2"
 google-java-format = "com.github.sherter.google-java-format:0.9"
-kotlin-jvm = "org.jetbrains.kotlin.jvm:1.9.0"
+kotlin-jvm = "org.jetbrains.kotlin.jvm:1.9.20"
 ktfmt = "com.ncorti.ktfmt.gradle:0.11.0"
 shellcheck = "com.felipefzdz.gradle.shellcheck:1.4.6"
 spotless = { id = "com.diffplug.spotless", version.ref = "spotless" }