Merge branch 'branch-1.13.2' into maint
authorStefano Lattarini <stefano.lattarini@gmail.com>
Sat, 4 May 2013 22:52:01 +0000 (00:52 +0200)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Sat, 4 May 2013 22:52:01 +0000 (00:52 +0200)
commit57cb996d881ed6e835c2e6e1a5769e7fa9f1a6d0
treee3da70775a2e5006cb361ceba96394d3232d0722
parent481c9975556b178a3aa095a808b9c7a87a24c426
parent799fa256e63bb1a3aa409b7c8a0d4906d829dba9
Merge branch 'branch-1.13.2' into maint

* branch-1.13.2:
  maint: version bump after beta release 1.13.1d
  release: beta release 1.13.1d (will become 1.13.2)
  NEWS: document more robust handling/recognition of make options

Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>
NEWS