diff options
| author | GitHub <noreply@github.com> | 2022-07-07 12:36:07 +0000 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-07-07 14:55:45 +0200 |
| commit | d4f0c46e0fd0ba9f04f8c543a49f1f805ce674a4 (patch) | |
| tree | db41159d5f2c84a918cfaa795a9de6f7f10d5ce4 | |
| parent | 6f3fbb26222a9d4be17d62e66f7c42683efb88c6 (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 bbdf15cd..ddf2a592 100644 --- a/lockfile.json +++ b/lockfile.json @@ -183,7 +183,7 @@ "revision": "e9948edc41e9e5869af99dddb2b5ff5cc5581af6" }, "lua": { - "revision": "2b4ffd5a5ffd0c6b4c84f0d9e003050a70db2a37" + "revision": "a041a547270c17f3d3aca11cb882f5c8eb88a572" }, "m68k": { "revision": "17c958a635f501b0cbc9f616010680ff431cd3ea" |