Commit e9d79f111a43882d299ca9ee8d4783f4bc17b99a
2013-06-03T21:18:25
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>