Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 06:38:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Bump Spicy and documentation submodules.

Browse source
This commit is contained in:
Robin Sommer 2024-06-19 11:43:36 +02:00
parent 4fc57294f1
commit 98760a0683
No known key found for this signature in database
GPG key ID: D8187293B3FFE5D0
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
auxil/spicy

@ -1 +1 @@
Subproject commit 5ff0cfea39ece44d1ef94f9762926b4bb4138d58
Subproject commit 588c79a8c4d3cb7e7e8265a9e85d59cb4bd5f972

2
doc

@ -1 +1 @@
Subproject commit 5c377d232043cfcaf23df260880ca1613b19a9f4
Subproject commit 44651a45261613b14dbd44e0ea8376346a689bd8