[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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [FYI] Merge branch 'micro' into master,
Stefano Lattarini <=