mirror of
https://github.com/zeek/zeek.git
synced 2025-10-14 12:38:20 +00:00
Merge remote-tracking branch 'origin/topic/bbannier/bump-spicy'
* origin/topic/bbannier/bump-spicy:
Bump Spicy to the latest development version.
(cherry picked from commit e60c305ac1
)
This commit is contained in:
parent
c5778b7932
commit
36d0d7c9ea
1 changed files with 1 additions and 1 deletions
|
@ -1 +1 @@
|
|||
Subproject commit ca72a01484a7c49f2de55fb8b8af631fdc0d6d42
|
||||
Subproject commit 887b7dac010de9389230c4d5f4aa445fdf8c6bd9
|
Loading…
Add table
Add a link
Reference in a new issue