merge from dev-slice

This commit is contained in:
daan 2021-11-13 15:53:57 -08:00
commit 627892852c
2 changed files with 3 additions and 1 deletions

View file

@ -737,6 +737,7 @@ size_t _mi_commit_mask_next_run(const mi_commit_mask_t* cm, size_t* idx);
// -------------------------------------------------------------------
// Fast "random" shuffle
// -------------------------------------------------------------------