merge from dev

This commit is contained in:
daanx 2025-05-04 09:15:57 -07:00
commit f4d54c60e3
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));