summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGitHub <noreply@github.com>2022-03-28 07:35:41 +0000
committerChristian Clason <christian.clason@uni-due.de>2022-03-28 09:44:39 +0200
commit50b53176a06d66e568eb7068bf3fd21cd8653060 (patch)
tree5e3fb5f7a42bffc74d9f7d769af792dca83e568f
parent94bac722bf699f10c71c6cfd33dd425ee9a6d0aa (diff)
Update lockfile.json
-rw-r--r--lockfile.json2
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json
index ac13b210..00665db3 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -15,7 +15,7 @@
"revision": "5b6ae1f88e741b9ed738891ad1362fb9f2041671"
},
"clojure": {
- "revision": "1b24766fe9feacb8f5006233fe5c2ebd0ba31eff"
+ "revision": "93cbdf4012b63a9c106fea5650e01c94abd96c2e"
},
"cmake": {
"revision": "5020572408a386d5d2dfac3516584f5edda7a49b"