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/vern/script-opt-maint.Jul24'

Browse source 
* origin/topic/vern/script-opt-maint.Jul24:
  minor script optimization updates to reflect recent changes, Coverity findings
This commit is contained in:
Tim Wojtulewicz 2024-07-09 10:15:13 -07:00
commit c557b2156a
14 changed files with 29 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

2
VERSION
View file

@ -1 +1 @@
7.0.0-dev.447
7.0.0-dev.450