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

1 Dec 2016


      commit 2b24983fdeba0b41cbb17a2bb0722963893ad211
Merge: 8420cf8 b23d793
Author: Fredrik Rinnestam <fredrik@crux.nu>
Date:   Fri Dec 2 00:20:50 2016 +0100

    Merge branch '3.2' into 3.3

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

crux＠crux.nu