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

20 Jan 2017


      commit 953c15da736ec94e7bcafd66d65957352f391084
Merge: 1858a67 208c614
Author: Juergen Daubert <jue@jue.li>
Date:   Fri Jan 20 18:22:41 2017 +0100

    Merge branch '3.2' into 3.3

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

crux＠crux.nu