Merge branch 'maint'
authorStefano Lattarini <stefano.lattarini@gmail.com>
Sat, 5 May 2012 08:57:27 +0000 (10:57 +0200)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Sat, 5 May 2012 08:57:27 +0000 (10:57 +0200)
commit6dad21bfc921cecde339723a463f1bf6abdbf2ba
treecf6c60e9971dba0dd2a727432a67f51780dba880
parent7f3f467aab0184dedddca2b5c6edd48dab6303db
parent5677e1d4e4c94261413f59b241f8c8191566e8bb
Merge branch 'maint'

* maint:
  maintcheck: avoid a couple of spurious failures
  maintcheck: reduce code duplication, increase coverage