merge from dev

This commit is contained in:
Daan 2025-05-04 19:55:35 -07:00
commit ccaa4a1de9
4 changed files with 10 additions and 7 deletions

View file

@ -112,7 +112,7 @@ static bool mi_page_is_valid_init(mi_page_t* page) {
return true;
}
extern bool _mi_process_is_initialized; // has mi_process_init been called?
extern mi_decl_hidden bool _mi_process_is_initialized; // has mi_process_init been called?
bool _mi_page_is_valid(mi_page_t* page) {
mi_assert_internal(mi_page_is_valid_init(page));