Fix CI by reverting rpmalloc

This commit is contained in:
Johannes Lorenz
2019-02-02 11:09:16 +01:00
parent b28d405240
commit d9b5ee03fe