summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGitHub <noreply@github.com>2022-02-07 21:37:19 +0000
committerStephan Seitz <stephan.seitz@fau.de>2022-02-07 23:00:48 +0100
commit1f0771153542608a29cd06bacf2978adc40d1265 (patch)
tree3239fedd5148d7f6449926a271359d2cb8cdab02
parentfbcfa7ebee8fceb22830a08648a36ef849cc1c3c (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 40dae303..e8cabcb9 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -207,7 +207,7 @@
"revision": "5875f9a7d94836708119b0a1102bb5792e8bf673"
},
"python": {
- "revision": "0d17ed665458c49eb9c6e95155e196a85bff67b7"
+ "revision": "78c4e9b6b2f08e1be23b541ffced47b15e2972ad"
},
"ql": {
"revision": "8e7fd7e638d4a0ec7a792ee16b19dbc6407aa810"