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

diff --cc NEWS
Simple merge