From a455e21c9b8d9437197970c4ed8a3811cad9fb7f Mon Sep 17 00:00:00 2001
From: Ernesto Castellotti <erny.castell@gmail.com>
Date: Thu, 11 Jul 2019 17:37:19 +0200
Subject: [PATCH] Remove old submodule path

---
 source/mimalloc | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 source/mimalloc

diff --git a/source/mimalloc b/source/mimalloc
deleted file mode 160000
index 1125271..0000000
--- a/source/mimalloc
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 1125271c2756ee1db1303918816fea35e08b3405