[FYI] {maint} Merge branch 'micro' into maint

[Stefano Lattarini]

commit e9d79f111a43882d299ca9ee8d4783f4bc17b99a
Merge: 6d03501 de1343a
Author: Stefano Lattarini <stefano.lattar...@gmail.com>
Date:   Mon Jun 3 21:18:25 2013 +0200

    Merge branch 'micro' into maint

    * micro:
      configure: remove an obsolete TODO comment
      post-release: micro version bump (1.13.3a)
      release: stable micro release 1.13.3
      typofix: fix grammaro in comments in t/tags-pr12372.sh

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