summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGitHub <noreply@github.com>2022-02-09 06:42:12 +0000
committerStephan Seitz <stephan.seitz@fau.de>2022-02-09 09:40:57 +0100
commit1b74deaa322a2257f50daeb65093b9a0f41f2fd6 (patch)
tree6211667655179a16e3b804cabd4f43da3300af8d
parentc79901e23a2c26d90e3d6f6f65d0cb55c2183a9a (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 902628a9..0620dbb4 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -273,7 +273,7 @@
"revision": "e8e8e8dc2745840b036421b4e43286750443cb13"
},
"vala": {
- "revision": "e0d1bfbf00f4c1b9c0dc7a903b686a4b08f4847c"
+ "revision": "bf12d7b4f751772dcd66e38ed68367d5bca99d8a"
},
"verilog": {
"revision": "8f6b1f357d1231c420404b5f7a368a73c25adfa2"