Update redundant-manager's version