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/awelzel/4209-save-seeds-load-seeds'

Browse source 
* origin/topic/awelzel/4209-save-seeds-load-seeds:
  util/init_random_seed: write_file implies deterministic
This commit is contained in:
Arne Welzel 2025-02-04 16:50:44 +01:00
commit 8d9f258f78
7 changed files with 59 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

2
VERSION
View file

@ -1 +1 @@
7.2.0-dev.148
7.2.0-dev.150