Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Mark the root context in
final_marking_phase
.
Because the root context cannot be marked from fibers.
- Loading branch information