projects / platform / upstream / automake.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 6d03501 de1343a)
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)
* 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>
1  2 
configure.ac patch | diff1 | diff2 | blob | history

diff --cc configure.ac
Simple merge
Domain: System / Base;