diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2018-11-16 08:49:26 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2018-11-16 08:49:26 -0300 |
| commit | 0b1e93ccd43815d93de031b4f23fbfcd9ae7a34c (patch) | |
| tree | d0d09cf6c744eb61438ed6ce775eafed22f5b4a1 /thirdparty/zstd/common | |
| parent | 26d33d1c6eedf9271bac20a24ea37453c21ef890 (diff) | |
-Make sure monitorable cant be flipped while flushing queries, fixes #17330
-Also added set_deferred, this was missing.
Diffstat (limited to 'thirdparty/zstd/common')
0 files changed, 0 insertions, 0 deletions