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

12 Sep 2015


      commit ab37dca55f2cccf10bcf43475dbd3e7d34358e74
Merge: c4d6b97 1309ccd
Author: Fredrik Rinnestam <fredrik@crux.nu>
Date:   Sat Sep 12 13:18:19 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