Branch :
-
Show log
Commit
-
Author :
Stefano Lattarini
Date :
2013-06-03 21:18:25
Hash :
e9d79f11
Message :
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>