]> granicus.if.org Git - gc/commit
Reformat code of GC_push_roots
authorIvan Maidanski <ivmai@mail.ru>
Mon, 23 Sep 2019 06:51:53 +0000 (09:51 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Mon, 23 Sep 2019 06:53:57 +0000 (09:53 +0300)
commit7df9541add6af01c57d91eff6fb34a6eb9d529d6
treecbe17bc536aebff38586f45d54a9b16ae647eaf0
parent190e18c75b2d1f669ee3bc767f34542fd73b2961
Reformat code of GC_push_roots

* mark_rts.c (GC_push_roots): Refine title comment; reformat comments;
adjust code and comments indentation.
mark_rts.c