[FYI] Merge branch 'micro' into maint

[Stefano Lattarini]

commit 52a760136d216ab867f02fd295d0b3d77d1ad438
Merge: 563ecad e89b908
Author: Stefano Lattarini <address@hidden>
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: skip in a cross compiler setup
      HACKING: miscellaneous fixes, updates and enhancements
      NEWS: minor improvements to wording (about new versioning scheme)

    Signed-off-by: Stefano Lattarini <address@hidden>