Commit 9892eb7823b3fd0e552ab22b63f58d947e9de584

Stefano Lattarini 2013-06-09T11:37:01

Merge branch 'micro' into maint * micro: maint: add a missing copyright notice sync: update config.guess from upstream tests: expose automake bug#13928 comments: fix some out-of-sync refs to test scripts tests: expose automake bug#13940