[FYI] Merge branch 'maint' into master

[Stefano Lattarini]

commit 37ce97010c0c428663a38b270d843c4a4fad52f2
Merge: b8c7e3f b869415
Author: Stefano Lattarini <address@hidden>
Date:   Sun Dec 16 13:08:13 2012 +0100

    Merge branch 'maint'

    * maint:
      tests: typofix in the shebang line of 't/py-compile-destdir.sh'
      HACKING: release process: fixlets about the announcement
      maint: post-release minor version bump
      release: stable release 1.12.5
      tests: avoid errors due to underquoted third-party macros
      maintcheck: also consider contrib tests for syntax checks
      cosmetics: whitespace fixlets in syntax-checks.mk
      maint: prefer $(MKDIR_P) over $(mkinstalldirs) in maintainer rules

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