Merge branch 'dev' of https://github.com/microsoft/mimalloc into dev

2019-08-27 16:40:47 -07:00
parent cf7bb70117 a7d0d19b07
commit 23b5593af6
3 changed files with 6 additions and 2 deletions
--- a/include/mimalloc.h
+++ b/include/mimalloc.h
@@ -233,6 +233,7 @@ typedef enum mi_option_e {
  mi_option_page_reset,
  mi_option_cache_reset,
  mi_option_reset_decommits,
+  mi_option_os_tag,
  _mi_option_last
 } mi_option_t;