commit 57cb996d881ed6e835c2e6e1a5769e7fa9f1a6d0 Merge: 481c997 799fa25 Author: Stefano Lattarini <stefano.lattar...@gmail.com> Date: Sun May 5 00:52:01 2013 +0200
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.lattar...@gmail.com>
