fix(machine, ci): the exit gives back what no client can delete, and the leg that leaks is the one that reddens (#521) - #586

fix(machine, ci): the exit gives back what no client can delete, and the leg that leaks is the one that reddens (#521)#586

stephrobert merged 1 commit into

mainstephrobert/feint:mainfrom

fix/runtime-proof-closing-doorstepstephrobert/feint:fix/runtime-proof-closing-doorstepCopy head branch name to clipboard