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

23 Jul 2015


      commit 6134bbd27d05b938a5393d8b757b7f9b64ceadc5
Merge: 0a95b07 1d01e53
Author: Juergen Daubert <jue@jue.li>
Date:   Thu Jul 23 14:25:45 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