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
16829 commits 386 branches 195 tags 256 MiB
Commit graph

1 commit

Author SHA1 Message Date
Arne Welzel
754831d7b0 TableVal: Propagate &ordered through copy() 
Copying an &ordered table or set would result in a copy that is not ordered.
This seems rather surprising behavior, so propagate the &ordered attribute.

Closes #2793
 2023-02-17 16:28:50 +01:00