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

20 Sep 2015


      commit f9050bf43dce1449e1b318d80217dd35691e65b2
Merge: 17cc814 17811d3
Author: Fredrik Rinnestam <fredrik@crux.nu>
Date:   Sun Sep 20 03:12:46 2015 +0200

    Merge branch '3.1' into 3.2

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

crux＠crux.nu