[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[FYI] Merge branch 'branch-1.13.2' into maint
From: |
Stefano Lattarini |
Subject: |
[FYI] Merge branch 'branch-1.13.2' into maint |
Date: |
Sun, 05 May 2013 00:52:42 +0200 |
commit 57cb996d881ed6e835c2e6e1a5769e7fa9f1a6d0
Merge: 481c997 799fa25
Author: Stefano Lattarini <address@hidden>
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 <address@hidden>