From 4b3d58d39c37f0e1fdc70c50af9f88a89a1a7b2d Mon Sep 17 00:00:00 2001
From: GitHub <noreply@github.com>
Date: Thu, 16 Sep 2021 20:56:45 +0000
Subject: [PATCH] Update lockfile.json

---
 lockfile.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lockfile.json b/lockfile.json
index fa4f601d4..dc1b506b6 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -117,7 +117,7 @@
     "revision": "12ea597262125fc22fd2e91aa953ac69b19c26ca"
   },
   "kotlin": {
-    "revision": "e14f86fba2a64630ac7cd49293ef8c50d012b809"
+    "revision": "f638a09a6db03c58e6324b1999cb59b9d17f8907"
   },
   "latex": {
     "revision": "2c0d03a36ee979bc697f6a9dd119174cf0ef15e0"