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 branch 'topic/bbannier/coverity'

Browse source
This commit is contained in:
Benjamin Bannier 2025-01-14 08:42:27 +01:00
commit 300b3788e2
5 changed files with 16 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

2
VERSION
View file

@ -1 +1 @@
7.2.0-dev.79
7.2.0-dev.82