diff options
| author | GitHub <noreply@github.com> | 2022-03-14 06:44:55 +0000 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2022-03-14 08:09:22 +0100 |
| commit | c6d46504ba72a25b41a74397b1728a3677f8bb89 (patch) | |
| tree | 0a10e7664716568a64d390df18da9766ed793b8f | |
| parent | 2d769167c4269529f843e07637f4f1beedf761f2 (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 90347570..7a42ebb5 100644 --- a/lockfile.json +++ b/lockfile.json @@ -180,7 +180,7 @@ "revision": "6d6aaa50793b8265b6a8b6628577a0083d3b923d" }, "norg": { - "revision": "4c180d07747b574b1f9302272ad6db3dac4b83dd" + "revision": "451a61ef80682f2e8a33ce2427028d3a5788c137" }, "ocaml": { "revision": "23d419ba45789c5a47d31448061557716b02750a" |