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

22 Jun 2015


      commit c6317550bb4a79e57354dbbd1660200c4905f48c
Merge: e9045fe 1c955c9
Author: Juergen Daubert <jue@jue.li>
Date:   Mon Jun 22 12:47:49 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