Merge branch 'preproc' into maint
authorStefano Lattarini <stefano.lattarini@gmail.com>
Fri, 19 Apr 2013 13:12:09 +0000 (15:12 +0200)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Fri, 19 Apr 2013 13:12:09 +0000 (15:12 +0200)
commitf4a283dc4fed2b1d9fff61c38017aa1a34cd162a
treeb8a92363be07555450a73412332a69d11153d52b
parent64b99c38a112083b4024a88d42c0fd9043b2c58e
parent375cd196b718de69722c962e4ae944f91957562c
Merge branch 'preproc' into maint

* preproc:
  maintcheck: avoid spurious failure