Étienne Reuh Fildadut b192206de0 [stdlib] merge branch! now perform a complete flush before merging by default ... Otherwise, events written to the buffer before the merge may only be yielded after the merge is already done; if such an event would lead to the script being interrupted, we would likely want the state not to be merged in the first place, hence the change.		2024-04-29 22:29:37 +02:00
..
results	[stdlib] merge branch! now perform a complete flush before merging by default	2024-04-29 22:29:37 +02:00
tests	[stdlib] merge branch! now perform a complete flush before merging by default	2024-04-29 22:29:37 +02:00
run.lua	[test] fix variable redefinition error when rerunning the same script	2024-04-23 19:06:24 +02:00