]> granicus.if.org Git - libatomic_ops/commitdiff
Merge branch 'libatomic_ops-7_2-hotfix-2' into release-7_2
authorIvan Maidanski <ivmai@mail.ru>
Sat, 22 Sep 2012 07:47:37 +0000 (11:47 +0400)
committerIvan Maidanski <ivmai@mail.ru>
Sat, 22 Sep 2012 07:47:37 +0000 (11:47 +0400)

Trivial merge