mirror of
https://github.com/zeek/zeek.git
synced 2025-10-15 04:58:21 +00:00
Bump Spicy and spicy-plugin to latest dev snapshot.
This bump brings in fixes for the following issues: - zeek/spicy#1204 - zeek/spicy#1208 - zeek/spicy#1210 - zeek/spicy-plugin#112 - zeek/spicy-plugin#117
This commit is contained in:
parent
f46b2318d3
commit
d15ba08890
2 changed files with 2 additions and 2 deletions
|
@ -1 +1 @@
|
|||
Subproject commit 454abb71afb3ea23111d3fafabaa9a1ae37afcaf
|
||||
Subproject commit 8cd9a0b9f38f130422f821966a3e865e59e8c036
|
|
@ -1 +1 @@
|
|||
Subproject commit 6dd253e4cc1a5165dffa271f27c1c1b7acd5ae0a
|
||||
Subproject commit ca72a01484a7c49f2de55fb8b8af631fdc0d6d42
|
Loading…
Add table
Add a link
Reference in a new issue