diff options
| author | GitHub <noreply@github.com> | 2022-04-15 21:01:57 +0000 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-04-15 23:07:44 +0200 |
| commit | 8ab11853a3938d2b92d2e2d42a64923dc00df124 (patch) | |
| tree | 2940e92719af64c8a7f58be5cebcc967bd685706 | |
| parent | cecffc9bee1f3e8b05c31924f56a95073c281f90 (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 dc02dd3f..0278b9b9 100644 --- a/lockfile.json +++ b/lockfile.json @@ -159,7 +159,7 @@ "revision": "02b01653c8a1c198ae7287d566efa86a135b30d5" }, "julia": { - "revision": "71ecd1ec5786b2d3f4f9d4c97c397f0475ba4d47" + "revision": "1e8fe0b3988e7cf56530837fd3a870089ddc7684" }, "kotlin": { "revision": "a4f71eb9b8c9b19ded3e0e9470be4b1b77c2b569" |