From d9b5ee03fea807e70e74c5962b3f903ea598ed1c Mon Sep 17 00:00:00 2001
From: Johannes Lorenz <j.git@lorenz-ho.me>
Date: Sat, 2 Feb 2019 11:09:16 +0100
Subject: [PATCH] Fix CI by reverting rpmalloc

---
 src/3rdparty/rpmalloc/rpmalloc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/3rdparty/rpmalloc/rpmalloc b/src/3rdparty/rpmalloc/rpmalloc
index 6b424e62e..b5bdc1805 160000
--- a/src/3rdparty/rpmalloc/rpmalloc
+++ b/src/3rdparty/rpmalloc/rpmalloc
@@ -1 +1 @@
-Subproject commit 6b424e62e49cdfd92422e5fd85a5972323cf2ac5
+Subproject commit b5bdc18051bb74a22f0bde4bcc90b01cf590b496