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

2 commits

Author SHA1 Message Date
赵富鹏
074faf202f Fix &ordered attribute not preserved in table initializer assignments 2025-06-04 17:07:34 +08:00
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