diff options
| author | GitHub <noreply@github.com> | 2022-04-08 17:47:09 +0000 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-04-08 20:41:21 +0200 |
| commit | 9c1fb1626a1eda7f75eeac0e6fe9fab1892332d6 (patch) | |
| tree | 0da2c060d67c7b4b13eb0428426f6c577ba87196 | |
| parent | 801c910f49086fc6ac7ee80f51d5ec4098b46e5d (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 958c2189..2fda6e91 100644 --- a/lockfile.json +++ b/lockfile.json @@ -177,7 +177,7 @@ "revision": "e9948edc41e9e5869af99dddb2b5ff5cc5581af6" }, "lua": { - "revision": "547184a6cfcc900fcac4a2a56538fa8bcdb293e6" + "revision": "2b4ffd5a5ffd0c6b4c84f0d9e003050a70db2a37" }, "make": { "revision": "a4b9187417d6be349ee5fd4b6e77b4172c6827dd" |