[FYI] Merge branch 'micro' into maint

commit 6febcd41b3dcf99a89aaf21329c00fdadcd68771 Merge: 9892eb7 ddc755a Author: Stefano Lattarini Date: Wed Jun 12 21:22:58 2013 +0200 Merge branch 'micro' into maint * micro: THANKS: update e-mall address for Ralf Corsepius lang, suffix rules: don't require C stuff needless

[FYI] Merge branch 'micro' into maint

commit 9892eb7823b3fd0e552ab22b63f58d947e9de584 Merge: e9d79f1 2d6fec6 Author: Stefano Lattarini Date: Sun Jun 9 11:37:01 2013 +0200 Merge branch 'micro' into maint * micro: maint: add a missing copyright notice sync: update config.guess from upstream tests: expose au

[FYI] Merge branch 'micro' into maint

commit 6d03501bcae9249dd87dad2cb7feb78d5fcfd89a Merge: b3bf07f a7cf36a Author: Stefano Lattarini Date: Mon Jun 3 15:25:50 2013 +0200 Merge branch 'micro' into maint * micro: NEWS: minor fixlets, re-wording, and better text wrapping tests: slightly stricter checks in t/cxx-d

[FYI] Merge branch 'micro' into maint

commit fb3fe261459b68011c0a481d401517c55daae9d1 Merge: 0d9399f 8023872 Author: Stefano Lattarini Date: Thu May 30 15:41:34 2013 +0200 Merge branch 'micro' into maint * micro: maint: support new Automake versioning scheme in tagging/uploading rules announcement: can be gener

[FYI] Merge branch 'micro' into maint

commit 0d9399f1efe69864f3295ada6325b14d953149c2 Merge: 9f325ee d3b8ad2 Author: Stefano Lattarini Date: Thu May 30 11:55:48 2013 +0200 Merge branch 'micro' into maint * micro: NEWS: document recent testsuite fixes (MinGW/MSYS related) depcomp: avoid trailing backslash in dep

[FYI] Merge branch 'micro' into maint

commit 94d57f3d093af4479f95c0bc48cd66a739150a7b Merge: d99e3f3 e833dfe Author: Stefano Lattarini Date: Tue May 28 17:53:03 2013 +0200 Merge branch 'micro' into maint * micro: docs: AM_PROG_MKDIR_P: will not be removed in 2.0 release of Automake maint: sanity checks in 'chec

[FYI] Merge branch 'micro' into maint

commit ac13ca500648395417e5d9bcf110475b42841bee Merge: aba3b0a d19eb85 Author: Stefano Lattarini Date: Fri May 24 12:17:59 2013 +0200 Merge branch 'micro' into maint * micro: tests: use append mode to capture parallel make output tests: new convenience target 'check-paralle

[FYI] Merge branch 'micro' into maint

commit 86e45fe19374b87b6a9adaeb3ecc93e51c7d54a7 Merge: 8d71087 3ce4015 Author: Stefano Lattarini Date: Thu May 23 20:12:17 2013 +0200 Merge branch 'micro' into maint * micro: tests: avoid '$MAKE' redirections, use 'run_make' instead tests: avoid use of redirected 'run_make'

[FYI] Merge branch 'micro' into maint

commit 8d7108702485dca61841a642202b892f8038e15c Merge: 4d56c0f 15996ac Author: Stefano Lattarini Date: Wed May 22 15:59:06 2013 +0200 Merge branch 'micro' into maint * micro: tests: remove some code duplication cosmetics: remove a couple of extra whitespaces in tests

[FYI] Merge branch 'micro' into maint

commit 4d56c0f3b5973e386c3e5f0fb2367d2fff00bf71 Merge: 60bfe0b c7cfa09 Author: Stefano Lattarini Date: Wed May 22 00:09:30 2013 +0200 Merge branch 'micro' into maint * micro: tests: run_make: options to do command redirection tests: only activate 'unset' alias if required

[FYI] Merge branch 'micro' into maint

commit 0cca184f65b5397d9e52f32365ab962d5af2f7ea Merge: 9c46842 0256f1d Author: Stefano Lattarini AuthorDate: Sat May 18 15:23:20 2013 +0200 Commit: Stefano Lattarini CommitDate: Sat May 18 19:26:52 2013 +0200 Merge branch 'micro' into maint * micro: lisp: fix a failure wit

[FYI] Merge branch 'micro' into maint

commit 6aaa128d3a20fd3e3cc60a695be1f7368203a688 Merge: 5969f68 74017b5 Author: Stefano Lattarini Date: Thu May 16 13:35:45 2013 +0200 Merge branch 'micro' into maint * micro: tests: remove exec bit from all of them ('micro' branch) maint: tests no longer need to have execut

[FYI] Merge branch 'micro' into maint

commit 52a760136d216ab867f02fd295d0b3d77d1ad438 Merge: 563ecad e89b908 Author: Stefano Lattarini Date: Wed May 15 22:54:15 2013 +0200 Merge branch 'micro' into maint * micro: post-release: micro version bump (1.13.2a) release: stable micro release 1.13.2 vala tests: s