Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 14:48:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Bump Spicy.

Browse source
This commit is contained in:
Robin Sommer 2024-03-06 17:17:55 +01:00
parent eeeaffb42c
commit 732a3e1d9a
No known key found for this signature in database
GPG key ID: D8187293B3FFE5D0
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
auxil/spicy

@ -1 +1 @@
Subproject commit b1c3c4e4eae55ed1924f90c5705d78be9dbfdccc Subproject commit 173dd7741e52bd32cc6be0962aae40eff0140a3a

2
testing/btest/Baseline/spicy.profiling/prof.log
View file

@ -3,7 +3,7 @@
# Profiling # Profiling
# #
#name count #name count
hilti/func/SSH::Banner::__parse_SSH_Banner_stage2 2 hilti/func/SSH::Banner::__parse_SSH__Banner_stage2 2
hilti/func/SSH::Banner::__parse_stage1 2 hilti/func/SSH::Banner::__parse_stage1 2
hilti/func/SSH::Banner::parse1 2 hilti/func/SSH::Banner::parse1 2
hilti/func/SSH::__register_SSH_Banner 1 hilti/func/SSH::__register_SSH_Banner 1