Merge branch 'dev' into dev-slice

This commit is contained in:
Daan Leijen
2021-06-07 17:51:42 -07:00
3 changed files with 5 additions and 1 deletions

View File

@@ -557,6 +557,7 @@ void* _mi_externs[] = {
(void*)&_mi_page_malloc,
(void*)&mi_malloc,
(void*)&mi_malloc_small,
(void*)&mi_zalloc_small,
(void*)&mi_heap_malloc,
(void*)&mi_heap_zalloc,
(void*)&mi_heap_malloc_small