[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[FYI] Merge branch 'micro' into master

From: Stefano Lattarini
Subject: [FYI] Merge branch 'micro' into master
Date: Wed, 29 May 2013 16:19:10 +0200

commit 649c03b464cf55f50e696ebea482c65339ff4832
Merge: c98d523 eefd01b
Author: Stefano Lattarini <address@hidden>
Date:   Wed May 29 14:54:47 2013 +0200

    Merge branch 'micro' into maint

    * micro:
      t/README: document "run_make", discourage "make -e"
      cosmetics: tiny whitespace fixlets
      tests: avoid a spurious failure with MSVC
      tests: avoid a spurious failure on non-POSIX systems

reply via email to

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