]> granicus.if.org Git - gc/commitdiff
Merge tag 'gc7_1' into racket_gc
authorIvan Maidanski <ivmai@mail.ru>
Sun, 3 Nov 2013 09:44:29 +0000 (13:44 +0400)
committerIvan Maidanski <ivmai@mail.ru>
Sun, 3 Nov 2013 09:44:29 +0000 (13:44 +0400)
[release 7.1]


Trivial merge