[FYI] Merge branch 'micro' into maint

2013-06-13 Thread Stefano Lattarini
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 'maint' into master

2013-06-13 Thread Stefano Lattarini
commit f61b6ef9255ada04114d0d1a3199297ed4ed0171 Merge: fefd187 6febcd4 Author: Stefano Lattarini Date: Thu Jun 13 01:48:54 2013 +0200 Merge branch 'maint' * maint: THANKS: update e-mall address for Ralf Corsepius lang, suffix rules: don't require C stuff needlessly te