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

14 Nov 2015


      commit 66be3d3c3a639d011baf193335664f2b6a60c3aa
Merge: 1449ace 1cc45ad
Author: Fredrik Rinnestam <fredrik@crux.nu>
Date:   Sun Nov 15 00:38:31 2015 +0100

    Merge branch '3.1' into 3.2

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

crux＠crux.nu