Fix #334, add some doc. on how to replace the Manager in case of failure#335
Open
giuseppe-carboni wants to merge 2 commits intomasterfrom
Open
Fix #334, add some doc. on how to replace the Manager in case of failure#335giuseppe-carboni wants to merge 2 commits intomasterfrom
giuseppe-carboni wants to merge 2 commits intomasterfrom
Commits
Commits on May 5, 2020
Commits on Sep 14, 2020
- committed