Bump subverso

leanprover · Apr 17, 2024 · 93f84d7 · 93f84d7
1 parent 5366da5
commit 93f84d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -4,7 +4,7 @@
  [{"url": "https://github.com/nomeata/subverso.git",
    "type": "git",
    "subDir": null,
-   "rev": "d433172f093c0c1a2760efabcd166cf7c2fa05f8",
+   "rev": "bd89103404390813674807f52c3cf7feb1cb0389",
    "name": "subverso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "joachim/lake-from-path",