remove Mutex Manager and associated dead code#44

rftrdev merged 1 commit into

1dot13:master1dot13/source:masterfrom

majcosta:pr_remove_mutex_managermajcosta/source:pr_remove_mutex_managerCopy head branch name to clipboard