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

Merge remote-tracking branch 'origin/topic/etyp/bump-spicy-coverity'

Browse source 
* origin/topic/etyp/bump-spicy-coverity:
  Bump Spicy for Coverity fixes
This commit is contained in:
Tim Wojtulewicz 2025-09-08 11:02:39 -07:00
commit dd881d9cde
3 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
VERSION
View file

@ -1 +1 @@
8.1.0-dev.527
8.1.0-dev.529