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/jsiwek/gh-928-realpath-load-dedup'

Browse source 
* origin/topic/jsiwek/gh-928-realpath-load-dedup:
  GH-928: use realpath() instead of inode to de-duplicate scripts
This commit is contained in:
Robin Sommer 2020-07-08 15:39:46 +00:00
commit 776250fd8c
6 changed files with 89 additions and 65 deletions
Download patch file Download diff file Expand all files Collapse all files

2
VERSION
View file

@ -1 +1 @@
3.2.0-dev.864
3.2.0-dev.868