Merge branch 'dev' into dev-exp

2019-08-11 09:00:39 -07:00
parent a90dc02984 3a171624bd
commit d71e67b689
12 changed files with 157 additions and 123 deletions
--- a/test/main-override-static.c
+++ b/test/main-override-static.c
@@ -6,7 +6,6 @@
 #include <mimalloc.h>
 #include <mimalloc-override.h>  // redefines malloc etc.

-
 int main() {
  mi_version();
  void* p1 = malloc(78);