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

11 Jul 2015


      commit fec496cff8d40279bf2330ac84b458d9eedce3f3
Merge: 2a8489b 023997c
Author: Juergen Daubert <jue@jue.li>
Date:   Sat Jul 11 10:57:41 2015 +0200

    Merge branch '3.1' into 3.2

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

crux＠crux.nu