[Top][All Lists]

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

reply via email to

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