[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[FYI] Merge branch 'micro' into maint
From: |
Stefano Lattarini |
Subject: |
[FYI] Merge branch 'micro' into maint |
Date: |
Sat, 18 May 2013 19:27:20 +0200 |
commit 0cca184f65b5397d9e52f32365ab962d5af2f7ea
Merge: 9c46842 0256f1d
Author: Stefano Lattarini <address@hidden>
AuthorDate: Sat May 18 15:23:20 2013 +0200
Commit: Stefano Lattarini <address@hidden>
CommitDate: Sat May 18 19:26:52 2013 +0200
Merge branch 'micro' into maint
* micro:
lisp: fix a failure with Solaris /usr/xpg4/bin/sh
tests: sanitize 'unset' usages
tests: fix some botched/outdated comments
tests: use perl, not find+rm, to remove temporary directories
Signed-off-by: Stefano Lattarini <address@hidden>
- [FYI] Merge branch 'micro' into maint, Stefano Lattarini, 2013/05/15
- [FYI] Merge branch 'micro' into maint, Stefano Lattarini, 2013/05/16
- [FYI] Merge branch 'micro' into maint,
Stefano Lattarini <=
- [FYI] Merge branch 'micro' into maint, Stefano Lattarini, 2013/05/21
- [FYI] Merge branch 'micro' into maint, Stefano Lattarini, 2013/05/22
- [FYI] Merge branch 'micro' into maint, Stefano Lattarini, 2013/05/23
- [FYI] Merge branch 'micro' into maint, Stefano Lattarini, 2013/05/24
- [FYI] Merge branch 'micro' into maint, Stefano Lattarini, 2013/05/28
- [FYI] Merge branch 'micro' into maint, Stefano Lattarini, 2013/05/30
- [FYI] Merge branch 'micro' into maint, Stefano Lattarini, 2013/05/30