zeek / zeek-docs

Documentation for Zeek
https://docs.zeek.org
Other
50 stars 70 forks source link

Clarifying differing semantics of vector += if RHS is a compatible vector #207

Closed vpax closed 1 year ago

vpax commented 1 year ago

As mentioned in the discussion of https://github.com/zeek/zeek/issues/3191, the Zeek documentation is incomplete in its discussion of using the += operator when the RHS is a vector compatible with the LHS. This tweak aims to remedy that.

awelzel commented 1 year ago

Squashed the fixup before merge.