Merge branch 'master' into dev

This commit is contained in:
daan 2019-07-14 14:50:39 -07:00
commit 2cf419c9bc

View File

@ -175,7 +175,7 @@ void _mi_page_free_collect(mi_page_t* page) {
// free the local free list
if (page->local_free != NULL) {
if (mi_likely(page->free == NULL)) {
// usual caes
// usual case
page->free = page->local_free;
}
else {