projects
/
platform
/
upstream
/
automake.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
6febcd4
6f301b5
)
Merge branch 'micro' into maint
author
Stefano Lattarini
<stefano.lattarini@gmail.com>
Fri, 14 Jun 2013 17:59:39 +0000
(19:59 +0200)
committer
Stefano Lattarini
<stefano.lattarini@gmail.com>
Fri, 14 Jun 2013 17:59:39 +0000
(19:59 +0200)
* micro:
post-release: micro version bump (1.13.4a)
release: stable micro release 1.13.4
sync: update config.guess
Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>
Trivial merge