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