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)
* preproc:
  maintcheck: avoid spurious failure


Trivial merge