Merge branch 'extra-dist-tests-ksh-bug'
authorStefano Lattarini <stefano.lattarini@gmail.com>
Wed, 15 Feb 2012 17:31:33 +0000 (18:31 +0100)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Wed, 15 Feb 2012 17:31:33 +0000 (18:31 +0100)
* extra-dist-tests-ksh-bug:
  tests: avoid ksh bug for wildcards in EXTRA_DIST


Trivial merge