[FYI] Merge branch 'maint' into master

[Stefano Lattarini]

commit 9799821061b9f4bf6c6e4e4384c633b5fcb0fe97
Merge: 2abe183 ffa4180
Author: Stefano Lattarini <address@hidden>
Date:   Sun Aug 26 12:55:38 2012 +0200

    Merge branch 'maint'

    * maint:
      docs: don't suggest to use recursive makefile setup
      tests: fix a timestamp race in python tests
      tests: fixup: make distcheck-override-infodir pass again
      sync: update files from upstream with "make fetch"
      maint: post-release minor version bump
      release: stable release 1.12.3
      maintcheck: fix spurious warnings
      docs: fix typo: s/make install-info/make uninstall-info/
      tests: fixup: make a couple of tests executable

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