Merge branch 'micro' into maint
authorStefano Lattarini <stefano.lattarini@gmail.com>
Mon, 3 Jun 2013 19:18:25 +0000 (21:18 +0200)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Mon, 3 Jun 2013 19:18:25 +0000 (21:18 +0200)
commite9d79f111a43882d299ca9ee8d4783f4bc17b99a
tree8520f33929a81cbc3994663c7f353a42ca37027f
parent6d03501bcae9249dd87dad2cb7feb78d5fcfd89a
parentde1343a64dd80d931ba6c4f26e35c7db4919dc1f
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.lattarini@gmail.com>
configure.ac