Merge branch 'maint'
authorStefano Lattarini <stefano.lattarini@gmail.com>
Sun, 16 Jan 2011 19:42:31 +0000 (20:42 +0100)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Sun, 16 Jan 2011 19:42:31 +0000 (20:42 +0100)
commit5fa4dafb2a0b8fc8133697526a869cecccfeceed
tree534b16ee5ced74dda4004b8f80a544ccfa96b994
parent882972f8e2699b5dacc4892ecda43f17d8c1b558
parent80fdae8e515f85b1000bea1ee1823d88d392f659
Merge branch 'maint'
ChangeLog
tests/cond36.test