diff options
| author | GitHub <noreply@github.com> | 2022-09-11 06:50:08 +0000 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-09-11 09:36:17 +0200 |
| commit | ea2b146db44806d9e29459689fd3c010c55d1a7f (patch) | |
| tree | 5af10c10de368278adefb3840578752630f4dca1 /lockfile.json | |
| parent | f53a5a6471994693e7e550b29627ca73d91e0536 (diff) | |
Update lockfile.json
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 9ad2d1fa..02eb9733 100644 --- a/lockfile.json +++ b/lockfile.json @@ -3,7 +3,7 @@ "revision": "80ea622cf952a0059e168e5c92a798b2f1925652" }, "astro": { - "revision": "f5d529d3dff0ab88ca2c59ee0ce0e09c3775fac3" + "revision": "5f5c3e73c45967df9aa42f861fad2d77cd4e0900" }, "bash": { "revision": "275effdfc0edce774acf7d481f9ea195c6c403cd" |