diff options
Diffstat (limited to 'lockfile.json')
| -rw-r--r-- | lockfile.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json index 97ee36dfa..981dd75f8 100644 --- a/lockfile.json +++ b/lockfile.json @@ -120,7 +120,7 @@ "revision": "12ea597262125fc22fd2e91aa953ac69b19c26ca" }, "kotlin": { - "revision": "f638a09a6db03c58e6324b1999cb59b9d17f8907" + "revision": "39841d5e7ec999fd80534ee806ac89446b0d6b42" }, "latex": { "revision": "2c0d03a36ee979bc697f6a9dd119174cf0ef15e0" |