Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* mark_rts.c (GC_push_roots): Fix a typo in comment ("GC_push_one").
- Loading branch information
* mark_rts.c (GC_push_roots): Fix a typo in comment ("GC_push_one").