[crux-commits] ports/opt (3.1): Merge branch '3.1' into 3.2

18 Nov 2015


      commit 88f83b09fe20fa3c757cf578f386496e8009c67f
Merge: e22f99e c86bf856
Author: Fredrik Rinnestam <fredrik@crux.nu>
Date:   Sat Oct 17 17:00:32 2015 +0200

    Merge branch '3.1' into 3.2

[crux-commits] ports/opt (3.1): Merge branch '3.1' into 3.2

crux＠crux.nu