[Top][All Lists]

[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>

reply via email to

[Prev in Thread] Current Thread [Next in Thread]