Merge branch 'maint'
authorStefano Lattarini <stefano.lattarini@gmail.com>
Wed, 16 Feb 2011 12:00:59 +0000 (13:00 +0100)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Wed, 16 Feb 2011 12:00:59 +0000 (13:00 +0100)
commit95ce684f09a47df6fc165311c5372066e0e28f9f
treecaedfd16d8723194727df744ba16e72ed877e551
parent95b717e8bd43406afc81bc5f6ebeef8b81da970c
parenta118732d1138b169e3c41759b8e3e03945994172
Merge branch 'maint'
ChangeLog
tests/defs
tests/instspc-tests.sh