]> granicus.if.org Git - gc/commitdiff
Merge branch 'add-abort-exit-setters'
authorIvan Maidanski <ivmai@mail.ru>
Sat, 30 Jun 2012 14:32:13 +0000 (18:32 +0400)
committerIvan Maidanski <ivmai@mail.ru>
Sat, 30 Jun 2012 14:32:13 +0000 (18:32 +0400)

Trivial merge