Commit dacb456ac6435c15c1ee230533129e05f7ab06bf

Stefano Lattarini 2012-01-06T15:01:26

Merge branch 'maint' * maint: dist: do not wrap calls to 'tar' with the 'missing' script fixup: previous commit v1.11-627-g1e0aedc tests: fix spurious failures due to autom4te caching