[FYI] Merge branch 'maint' into master

[Stefano Lattarini]

commit db64467427f6355ba283b0c886263aa7ee6aa296
Merge: e4a5f2b 2af1069
Author: Stefano Lattarini <stefano.lattar...@gmail.com>
Date:   Tue Jan 1 14:09:08 2013 +0100

    Merge branch 'maint'

    * maint:
      NEWS: fixlets and updates
      post-release: minor version bump (1.13.1a)
      release: stable minor release 1.13.1

    Signed-off-by: Stefano Lattarini <stefano.lattar...@gmail.com>