diff options
| author | GitHub <noreply@github.com> | 2022-11-12 06:45:06 +0000 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-11-12 11:06:59 +0100 |
| commit | 08cbb2f8b3abbd3e7cb47798f15f59e97ad6a629 (patch) | |
| tree | a196ad91790ffc7d3a861c66bf650105cafa4eeb | |
| parent | 47bda4171aad2ee990a35ddb6319ceedc4d78b5d (diff) | |
Update lockfile.json
| -rw-r--r-- | lockfile.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json index 7a42a2d9..a76278e2 100644 --- a/lockfile.json +++ b/lockfile.json @@ -186,7 +186,7 @@ "revision": "0475a5017ad7dc84845d1d33187f2321abcb261d" }, "julia": { - "revision": "bedd19f3c3d745c3da8451a35c7bfc5f48d07ee6" + "revision": "58d0701550b4cce02acf433eedada03b634cc524" }, "kotlin": { "revision": "b953dbdd05257fcb2b64bc4d9c1578fac12e3c28" |