diff options
| author | GitHub <noreply@github.com> | 2022-02-08 15:28:33 +0000 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2022-02-08 17:13:37 +0100 |
| commit | b1ef4033222fa86cbe5c6a0abf70098f157546d4 (patch) | |
| tree | 8f1f6ae16d87e835509578d4a5d8effec153de8a | |
| parent | c867d483a5daee60ba6fb7ec9151c5578e4e96ed (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 f88d8b32..d14448b3 100644 --- a/lockfile.json +++ b/lockfile.json @@ -174,7 +174,7 @@ "revision": "6d6aaa50793b8265b6a8b6628577a0083d3b923d" }, "norg": { - "revision": "75d464c88a8d5e0e1ceae186be1d7a61eb663c3a" + "revision": "b7f879eaf9f20852f6b670439154b0128fbb6558" }, "ocaml": { "revision": "23d419ba45789c5a47d31448061557716b02750a" |