[FYI] Merge branch 'maint' into master

[Stefano Lattarini]

commit c91f24a5a72e0eced917507ff092e7845448b27d
Merge: 83609bf 52a7601
Author: Stefano Lattarini <address@hidden>
Date:   Wed May 15 23:31:54 2013 +0200

    Merge branch 'maint'

    * maint:
      post-release: micro version bump (1.13.2a)
      release: stable micro release 1.13.2
      vala tests: skip in a cross compiler setup
      HACKING: miscellaneous fixes, updates and enhancements
      NEWS: minor improvements to wording (about new versioning scheme)
      THANKS: update Akim's e-mail address
      tests: less uses of "make -e"; avoid spurious failures in 
'check-cc-no-c-o'
      build: be more respectful of user-specified verbosity
      check-cc-no-c-o: unify initializations in a single place
      check-cc-no-c-o: avoid a spurious failure