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/vern/opt-skip-file-fix'

Browse source 
* origin/topic/vern/opt-skip-file-fix:
  fixed bug in logic for including/excluding files for script optimization
This commit is contained in:
Tim Wojtulewicz 2025-09-30 20:12:14 +00:00
commit 63291eca75
3 changed files with 10 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
VERSION
View file

@ -1 +1 @@
8.1.0-dev.615
8.1.0-dev.617