diff options
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 f0efe0817..ae7d55f00 100644 --- a/lockfile.json +++ b/lockfile.json @@ -321,7 +321,7 @@ "revision": "676117eafa64afedc8380a921a77cd9f2244bc6b" }, "menhir": { - "revision": "db7953acb0d5551f207373c81fa07a57d7b085cb" + "revision": "be8866a6bcc2b563ab0de895af69daeffa88fe70" }, "mermaid": { "revision": "e26a5f8898a8174f02b4cc9a9050eb3ccfb799f3" |