[Merged by Bors] - Use head state for exit verification#4183
Closed
paulhauner wants to merge 4 commits intosigp:unstablefrom
Closed
[Merged by Bors] - Use head state for exit verification#4183paulhauner wants to merge 4 commits intosigp:unstablefrom
paulhauner wants to merge 4 commits intosigp:unstablefrom