Fix a typo in comment of GC_mark_some
authorIvan Maidanski <ivmai@mail.ru>
Tue, 31 Jan 2017 07:38:22 +0000 (10:38 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Tue, 31 Jan 2017 07:39:03 +0000 (10:39 +0300)
commit515a29594b3c9c172dca2cc93da3231d04cdccef
treeb2527efb9fce4c8ad72c71c45fa404020ff9e5d5
parent51b74dd2a850e4fee7fb8937f440a35b6856b38e
Fix a typo in comment of GC_mark_some
(fix commit 84c0313)

* mark.c [(MSWIN32 || MSWINCE) && !__clang__ && __GNUC__>=4]
(GC_mark_some): Fix typo in comment ("pedantic").
mark.c