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

Merge remote-tracking branch 'origin/topic/robin/gh-3521-zeek-val'

Browse source 
* origin/topic/robin/gh-3521-zeek-val:
  Bump Spicy and documentation submodules.
  Spicy: Provide runtime API to access Zeek-side globals.
  Spicy: Reformat `zeek.spicy` with `spicy-format`.
  Spicy: Extend exception hierarchy.
This commit is contained in:
Robin Sommer 2024-06-20 15:51:42 +02:00
commit b5206f818a
No known key found for this signature in database
GPG key ID: D8187293B3FFE5D0
9 changed files with 905 additions and 72 deletions
Download patch file Download diff file Expand all files Collapse all files

2
VERSION
View file

@ -1 +1 @@
7.0.0-dev.387
7.0.0-dev.392