[crux-commits] ports/opt (2.3): Merge branch '2.2' into 2.3

24 Dec 2006


      commit 22a7c8056035756ebf7fda0861f0bbbb4e409907
Merge: 3259fda... d01d5a5...
Author: Juergen Daubert <jue@jue.li>
Date:   Sun Dec 24 12:53:57 2006 +0100

    Merge branch '2.2' into 2.3

[crux-commits] ports/opt (2.3): Merge branch '2.2' into 2.3

crux＠crux.nu