Add event-driven patch-recovery controller for failed Patch/Edit operations#307

mmprotest wants to merge 1 commit into

mainmmprotest/villani-code:mainfrom

mmprotest/implement-generic-patch-recovery-controllermmprotest/villani-code:mmprotest/implement-generic-patch-recovery-controllerCopy head branch name to clipboard