[sr-dev] git:master:63cc0c1d: core: remove old memory managers, deactivated in 2015