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-973-fix-topk-get-top-return-type'

Browse source 
* origin/topic/jsiwek/gh-973-fix-topk-get-top-return-type:
  GH-973: Fix the return type of topk_get_top()
This commit is contained in:
Tim Wojtulewicz 2020-06-03 13:29:12 -07:00
commit b4aa5d9456
5 changed files with 31 additions and 26 deletions
Download patch file Download diff file Expand all files Collapse all files

2
VERSION
View file

@ -1 +1 @@
3.2.0-dev.740
3.2.0-dev.742