diff options
| author | GitHub <noreply@github.com> | 2022-07-20 06:47:21 +0000 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-07-20 09:24:01 +0200 |
| commit | 0e29e2c6e16bba7b5267148c394f0c908f1ff43f (patch) | |
| tree | 93ebf38cdbd93d5c52d2adbc8fc3d27f8f2b3d68 | |
| parent | 36830c4ce838f4e7b19d95d6099af1311f618c26 (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 94643481..d9563933 100644 --- a/lockfile.json +++ b/lockfile.json @@ -276,7 +276,7 @@ "revision": "5b305c3cd32db10494cedd2743de6bbe32f1a573" }, "rust": { - "revision": "0f14a10011ac6e56f309fb99a94829c3312b743a" + "revision": "41e23b454f503e6fe63ec4b6d9f7f2cf7788ab8e" }, "scala": { "revision": "140c96cf398693189d4e50f76d19ddfcd8a018f8" |