-
Browse
Commit
-
Author :
Stefano Lattarini
Date :
2013-05-05 00:52:01
Hash :
57cb996d
Message :
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>