Merge branch 'micro' into maint
authorStefano Lattarini <stefano.lattarini@gmail.com>
Fri, 14 Jun 2013 17:59:39 +0000 (19:59 +0200)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Fri, 14 Jun 2013 17:59:39 +0000 (19:59 +0200)
commit325122eaeaa59eac5e393d6c68175d28fc440859
treebdbab856f9665fb292cc12b0fb458eaabe0a9ff0
parent6febcd41b3dcf99a89aaf21329c00fdadcd68771
parent6f301b5cf58b1bc2ff1ee118086c8f0b3146b5d7
Merge branch 'micro' into maint

* 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>