Commit b401dcece25aa79817c3b6f16a4e64c1b1caed15

Stefano Lattarini 2013-06-14T19:59:59

Merge branch 'maint' * maint: post-release: micro version bump (1.13.4a) release: stable micro release 1.13.4 sync: update config.guess